Lines Matching defs:sender
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)
39 va = getRestartPC(sender);
43 setMR(receiver, receiveIPCBuffer, seL4_VMFault_IP, getRestartPC(sender));
46 seL4_Fault_VMFault_get_address(sender->tcbFault));
48 seL4_Fault_VMFault_get_instructionFault(sender->tcbFault));
50 seL4_Fault_VMFault_get_FSR(sender->tcbFault));
55 if (seL4_Fault_VGICMaintenance_get_idxValid(sender->tcbFault)) {
57 seL4_Fault_VGICMaintenance_get_idx(sender->tcbFault));
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));