#include <inttypes.h>
#include "psa/lifecycle.h"
#include "tfm/tfm_core_svc.h"
Go to the source code of this file.
Definition at line 12 of file psa_lifecycle.c.