Searched refs:seL4_VCPUFault_HSR (Results 1 - 8 of 8) sorted by relevance

/seL4-l4v-10.1.1/seL4/libsel4/sel4_arch_include/aarch32/sel4/sel4_arch/
H A Dfaults.h52 return seL4_Fault_VCPUFault_new(seL4_GetMR(seL4_VCPUFault_HSR));
H A Dconstants.h77 seL4_VCPUFault_HSR, enumerator in enum:__anon190
/seL4-l4v-10.1.1/seL4/libsel4/sel4_arch_include/arm_hyp/sel4/sel4_arch/
H A Dfaults.h52 return seL4_Fault_VCPUFault_new(seL4_GetMR(seL4_VCPUFault_HSR));
H A Dconstants.h77 seL4_VCPUFault_HSR, enumerator in enum:__anon203
/seL4-l4v-10.1.1/seL4/src/arch/arm/api/
H A Dfaults.c68 return setMR(receiver, receiveIPCBuffer, seL4_VCPUFault_HSR, seL4_Fault_VCPUFault_get_hsr(sender->tcbFault));
/seL4-l4v-10.1.1/seL4/include/arch/arm/arch/32/mode/api/
H A Dconstants.h77 seL4_VCPUFault_HSR, enumerator in enum:__anon123
/seL4-l4v-10.1.1/seL4/include/arch/arm/arch/64/mode/api/
H A Dconstants.h72 seL4_VCPUFault_HSR, enumerator in enum:__anon131
/seL4-l4v-10.1.1/seL4/libsel4/sel4_arch_include/aarch64/sel4/sel4_arch/
H A Dconstants.h72 seL4_VCPUFault_HSR, enumerator in enum:__anon196

Completed in 60 milliseconds