tfm_ns_fault_service_handler_context_registers Struct Reference

Copy of callee saved registers. More...

#include <tfm_ioctl_api.h>

Data Fields
uint32_t	r4
uint32_t	r5
uint32_t	r6
uint32_t	r7
uint32_t	r8
uint32_t	r9
uint32_t	r10
uint32_t	r11

Detailed Description

Copy of callee saved registers.

---

The documentation for this struct was generated from the following file:

• include/tfm/tfm_ioctl_api.h