Searched refs:HV_detect_pending_interrupts (Results 1 – 2 of 2) sorted by relevance
55 #define HV_detect_pending_interrupts __BEAT_ADD_VENDOR_ID(26, 0) macro
63 return beat_hcall4(HV_detect_pending_interrupts, retbuf, index); in beat_detect_pending_interrupts()