Searched refs:HV_EVENT_FLAGS_COUNT (Results 1 – 3 of 3) sorted by relevance
208 max(MAX_NUM_CHANNELS_SUPPORTED, HV_EVENT_FLAGS_COUNT)
422 for_each_set_bit(relid, recv_int_page, HV_EVENT_FLAGS_COUNT) { in hv_synic_event_pending()
1210 maxbits = HV_EVENT_FLAGS_COUNT; in vmbus_chan_sched()