Searched refs:event_page_addr (Results 1 – 1 of 1) sorted by relevance
1251 static void vmbus_chan_sched(void *event_page_addr) in vmbus_chan_sched() argument1257 if (!event_page_addr) in vmbus_chan_sched()1259 event = (union hv_synic_event_flags *)event_page_addr + VMBUS_MESSAGE_SINT; in vmbus_chan_sched()