Lines Matching defs:receiver
14 bool_t Arch_handleFaultReply(tcb_t *receiver, tcb_t *sender, word_t faultType)
33 word_t Arch_setMRs_fault(tcb_t *sender, tcb_t *receiver, word_t *receiveIPCBuffer, word_t faultType)
41 setMR(receiver, receiveIPCBuffer, seL4_VMFault_IP, ipa);
43 setMR(receiver, receiveIPCBuffer, seL4_VMFault_IP, getRestartPC(sender));
45 setMR(receiver, receiveIPCBuffer, seL4_VMFault_Addr,
47 setMR(receiver, receiveIPCBuffer, seL4_VMFault_PrefetchFault,
49 return setMR(receiver, receiveIPCBuffer, seL4_VMFault_FSR,
56 return setMR(receiver, receiveIPCBuffer, seL4_VGICMaintenance_IDX,
59 return setMR(receiver, receiveIPCBuffer, seL4_VGICMaintenance_IDX, -1);
62 return setMR(receiver, receiveIPCBuffer, seL4_VCPUFault_HSR, seL4_Fault_VCPUFault_get_hsr(sender->tcbFault));
64 return setMR(receiver, receiveIPCBuffer, seL4_VPPIEvent_IRQ, seL4_Fault_VPPIEvent_get_irq_w(sender->tcbFault));