127 	u32 num_eventid_bits;  member
930 	if (event_id >= BIT_ULL(device->num_eventid_bits))  in vgic_its_check_event_id()
1114 						u8 num_eventid_bits)  in vgic_its_alloc_device()  argument
1124 	device->num_eventid_bits = num_eventid_bits;  in vgic_its_alloc_device()
1140 	u8 num_eventid_bits = its_cmd_get_size(its_cmd);  in vgic_its_cmd_handle_mapd()  local
1147 	if (valid && num_eventid_bits > VITS_TYPER_IDBITS)  in vgic_its_cmd_handle_mapd()
1168 				       num_eventid_bits);  in vgic_its_cmd_handle_mapd()
2137 	if (event_id + offset >= BIT_ULL(dev->num_eventid_bits))  in vgic_its_restore_ite()
2219 	size_t max_size = BIT_ULL(dev->num_eventid_bits) * ite_esz;  in vgic_its_restore_itt()
2251 		(dev->num_eventid_bits - 1));  in vgic_its_save_dte()
2273 	u8 num_eventid_bits;  in vgic_its_restore_dte()  local
2282 	num_eventid_bits = (entry & KVM_ITS_DTE_SIZE_MASK) + 1;  in vgic_its_restore_dte()
2295 	dev = vgic_its_alloc_device(its, id, itt_addr, num_eventid_bits);  in vgic_its_restore_dte()