Searched refs:faultType (Results 1 - 4 of 4) sorted by relevance
| /seL4-test-master/kernel/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-test-master/kernel/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-test-master/kernel/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-test-master/kernel/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 88 milliseconds