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