Searched defs:receiveIPCBuffer (Results 1 – 6 of 6) sorted by relevance
/seL4-master/src/api/ |
A D | faults.c | 29 setMRs_lookup_failure(tcb_t *receiver, word_t *receiveIPCBuffer, in setMRs_lookup_failure() 100 word_t length, word_t *receiveIPCBuffer) in copyMRsFault() 191 word_t setMRs_fault(tcb_t *sender, tcb_t *receiver, word_t *receiveIPCBuffer) in setMRs_fault()
|
/seL4-master/src/arch/riscv/api/ |
A D | faults.c | 31 word_t Arch_setMRs_fault(tcb_t *sender, tcb_t *receiver, word_t *receiveIPCBuffer, word_t faultType) in Arch_setMRs_fault()
|
/seL4-master/src/arch/arm/api/ |
A D | faults.c | 33 word_t Arch_setMRs_fault(tcb_t *sender, tcb_t *receiver, word_t *receiveIPCBuffer, word_t faultType) in Arch_setMRs_fault()
|
/seL4-master/src/arch/x86/api/ |
A D | faults.c | 24 word_t Arch_setMRs_fault(tcb_t *sender, tcb_t *receiver, word_t *receiveIPCBuffer, word_t faultType) in Arch_setMRs_fault()
|
/seL4-master/include/object/ |
A D | tcb.h | 28 static inline unsigned int setMR(tcb_t *receiver, word_t *receiveIPCBuffer, in setMR()
|
/seL4-master/src/object/ |
A D | tcb.c | 2045 word_t setMRs_syscall_error(tcb_t *thread, word_t *receiveIPCBuffer) in setMRs_syscall_error()
|
Completed in 9 milliseconds