134 	u32 num_eventid_bits;  member
927 	if (event_id >= BIT_ULL(device->num_eventid_bits))  in vgic_its_cmd_handle_mapi()
1010 						u8 num_eventid_bits)  in vgic_its_alloc_device()  argument
1020 	device->num_eventid_bits = num_eventid_bits;  in vgic_its_alloc_device()
1036 	u8 num_eventid_bits = its_cmd_get_size(its_cmd);  in vgic_its_cmd_handle_mapd()  local
1043 	if (valid && num_eventid_bits > VITS_TYPER_IDBITS)  in vgic_its_cmd_handle_mapd()
1064 				       num_eventid_bits);  in vgic_its_cmd_handle_mapd()
1993 	if (event_id + offset >= BIT_ULL(dev->num_eventid_bits))  in vgic_its_restore_ite()
2070 	size_t max_size = BIT_ULL(dev->num_eventid_bits) * ite_esz;  in vgic_its_restore_itt()
2101 		(dev->num_eventid_bits - 1));  in vgic_its_save_dte()
2122 	u8 num_eventid_bits;  in vgic_its_restore_dte()  local
2131 	num_eventid_bits = (entry & KVM_ITS_DTE_SIZE_MASK) + 1;  in vgic_its_restore_dte()
2141 	dev = vgic_its_alloc_device(its, id, itt_addr, num_eventid_bits);  in vgic_its_restore_dte()