r11

uint32_t tfm_ns_fault_service_handler_context_registers::r11