HV_SYNIC_EVENT_RING_MESSAGE_COUNT
if (++tail == HV_SYNIC_EVENT_RING_MESSAGE_COUNT)
u32 data[HV_SYNIC_EVENT_RING_MESSAGE_COUNT];