GICv4_ITS_LIST_MAX
its_number = find_first_zero_bit(&its_list_map, GICv4_ITS_LIST_MAX);
if (its_number >= GICv4_ITS_LIST_MAX) {
u32 vlpi_count[GICv4_ITS_LIST_MAX];