tfm_ioctl_api.h File Reference

TFM IOCTL API header. More...

#include <limits.h>
#include <stdint.h>
#include <tfm_platform_api.h>
#include <hal/nrf_gpio.h>
#include <tfm_ioctl_core_api.h>
#include <autoconf.h>

Go to the source code of this file.

Data Structures
struct	tfm_ns_fault_service_handler_context_frame
	Copy of exception frame on stack. More...
struct	tfm_ns_fault_service_handler_context_registers
	Copy of callee saved registers. More...
struct	tfm_ns_fault_service_handler_context_status
	Additional fault status information. More...
struct	tfm_ns_fault_service_handler_context
	Non-secure fault service callback context argument. More...
struct	tfm_ns_fault_service_args
	Non-secure fault service arguments. More...
struct	tfm_ns_fault_service_out
	Output list for each nonsecure_fault platform service. More...

Typedefs
typedef void(*	tfm_ns_fault_service_handler_callback) (void)
	Non-secure fault service callback type.

Enumerations
enum	tfm_platform_ioctl_reqest_types_t { TFM_PLATFORM_IOCTL_FW_INFO = TFM_PLATFORM_IOCTL_CORE_LAST , TFM_PLATFORM_IOCTL_NS_FAULT }
enum	tfm_spu_events { TFM_SPU_EVENT_RAMACCERR = 1 << 0 , TFM_SPU_EVENT_FLASHACCERR = 1 << 1 , TFM_SPU_EVENT_PERIPHACCERR = 1 << 2 }
	Bitmask of SPU events. More...

Functions
int	tfm_platform_ns_fault_set_handler (struct tfm_ns_fault_service_handler_context *context, tfm_ns_fault_service_handler_callback callback)

Detailed Description

TFM IOCTL API header.