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