Searched refs:EVTCHNOP_send (Results 1 – 3 of 3) sorted by relevance
113 #define EVTCHNOP_send 4 macro
82 (void)HYPERVISOR_event_channel_op(EVTCHNOP_send, &send); in notify_remote_via_evtchn()
87 #define EVTCHNOP_send 4 macro 256 * EVTCHNOP_send hypercall. */ in guest_code() 258 xen_hypercall(__HYPERVISOR_event_channel_op, EVTCHNOP_send, &s); in guest_code() 268 xen_hypercall(__HYPERVISOR_event_channel_op, EVTCHNOP_send, &s); in guest_code() 277 xen_hypercall(__HYPERVISOR_event_channel_op, EVTCHNOP_send, &s); in guest_code() 752 printf("Testing guest EVTCHNOP_send direct to evtchn\n"); in main() 763 printf("Testing guest EVTCHNOP_send direct to evtchn after memslot change\n"); in main() 776 printf("Testing guest EVTCHNOP_send to eventfd\n"); in main()