tfm_ns_fault_service_handler_callback

typedef void(* tfm_ns_fault_service_handler_callback) (void)

#include <include/tfm/tfm_ioctl_api.h>

Non-secure fault service callback type.