Searched refs:Arch_handleFaultReply (Results 1 - 5 of 5) sorted by relevance
/seL4-l4v-master/seL4/include/api/ |
H A D | faults.h | 16 bool_t Arch_handleFaultReply(tcb_t *receiver, tcb_t *sender, word_t faultType);
|
/seL4-l4v-master/seL4/src/arch/riscv/api/ |
H A D | faults.c | 20 bool_t Arch_handleFaultReply(tcb_t *receiver, tcb_t *sender, word_t faultType) function
|
/seL4-l4v-master/seL4/src/arch/arm/api/ |
H A D | faults.c | 14 bool_t Arch_handleFaultReply(tcb_t *receiver, tcb_t *sender, word_t faultType) function
|
/seL4-l4v-master/seL4/src/arch/x86/api/ |
H A D | faults.c | 13 bool_t Arch_handleFaultReply(tcb_t *receiver, tcb_t *sender, word_t faultType) function
|
/seL4-l4v-master/seL4/src/api/ |
H A D | faults.c | 187 return Arch_handleFaultReply(receiver, sender, seL4_Fault_get_seL4_FaultType(fault));
|
Completed in 38 milliseconds