![]() |
TF-M Reference Manual
1.2.0
TrustedFirmware-M
|
#include <stdbool.h>
#include "tfm_platform_api.h"
#include "tfm_ns_interface.h"
#include "tfm_veneers.h"
Go to the source code of this file.
Functions | |
enum tfm_platform_err_t | tfm_platform_system_reset (void) |
Resets the system. More... | |
enum tfm_platform_err_t | tfm_platform_ioctl (tfm_platform_ioctl_req_t request, psa_invec *input, psa_outvec *output) |
Performs a platform-specific service. More... | |
enum tfm_platform_err_t tfm_platform_ioctl | ( | tfm_platform_ioctl_req_t | request, |
psa_invec * | input, | ||
psa_outvec * | output | ||
) |
Performs a platform-specific service.
[in] | request | Request identifier (valid values vary based on the platform) |
[in] | input | Input buffer to the requested service (or NULL) |
[in,out] | output | Output buffer to the requested service (or NULL) |
Definition at line 24 of file tfm_platform_func_api.c.
enum tfm_platform_err_t tfm_platform_system_reset | ( | void | ) |
Resets the system.
Definition at line 13 of file tfm_platform_func_api.c.