Searched refs:hv_downcall_dispatch (Results 1 – 3 of 3) sorted by relevance
34 gensym hv_downcall_dispatch, 0x260, 32
38 #define hv_downcall_dispatch _hv_downcall_dispatch macro97 #undef hv_downcall_dispatch231 HV_WRAP0(void, hv_downcall_dispatch)
1235 void hv_downcall_dispatch(void);