Searched refs:HV_destruct_event_receive_port (Results 1 – 2 of 2) sorted by relevance
47 #define HV_destruct_event_receive_port __BEAT_ADD_VENDOR_ID(19, 0) macro
266 ret = beat_hcall_norets(HV_destruct_event_receive_port, port); in beat_destruct_event_receive_port()