Searched refs:faultType (Results 1 - 4 of 4) sorted by relevance
/seL4-l4v-master/seL4/include/api/ |
H A D | faults.h | 13 word_t Arch_setMRs_fault(tcb_t *sender, tcb_t *receiver, word_t *receiveIPCBuffer, word_t faultType); 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) argument 22 switch (faultType) { 31 word_t Arch_setMRs_fault(tcb_t *sender, tcb_t *receiver, word_t *receiveIPCBuffer, word_t faultType) argument 33 switch (faultType) {
|
/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) argument 16 switch (faultType) { 33 word_t Arch_setMRs_fault(tcb_t *sender, tcb_t *receiver, word_t *receiveIPCBuffer, word_t faultType) argument 35 switch (faultType) {
|
/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) argument 15 switch (faultType) { 24 word_t Arch_setMRs_fault(tcb_t *sender, tcb_t *receiver, word_t *receiveIPCBuffer, word_t faultType) argument 26 switch (faultType) {
|
Completed in 86 milliseconds