r4

uint32_t tfm_ns_fault_service_handler_context_registers::r4