123 	u32 num_eventid_bits;  member
1007 	if (event_id >= BIT_ULL(device->num_eventid_bits))  in vgic_its_check_event_id()
1190 						u8 num_eventid_bits)  in vgic_its_alloc_device()  argument
1200 	device->num_eventid_bits = num_eventid_bits;  in vgic_its_alloc_device()
1216 	u8 num_eventid_bits = its_cmd_get_size(its_cmd);  in vgic_its_cmd_handle_mapd()  local
1225 	if (valid && num_eventid_bits > VITS_TYPER_IDBITS)  in vgic_its_cmd_handle_mapd()
1246 				       num_eventid_bits);  in vgic_its_cmd_handle_mapd()
2262 	if (event_id + offset >= BIT_ULL(dev->num_eventid_bits))  in vgic_its_restore_ite()
2344 	size_t max_size = BIT_ULL(dev->num_eventid_bits) * ite_esz;  in vgic_its_restore_itt()
2374 		(dev->num_eventid_bits - 1));  in vgic_its_save_dte()
2397 	u8 num_eventid_bits;  in vgic_its_restore_dte()  local
2406 	num_eventid_bits = (entry & KVM_ITS_DTE_SIZE_MASK) + 1;  in vgic_its_restore_dte()
2419 	dev = vgic_its_alloc_device(its, id, itt_addr, num_eventid_bits);  in vgic_its_restore_dte()