Searched refs:num_eventid_bits (Results 1 – 1 of 1) sorted by relevance
123 u32 num_eventid_bits; member1003 if (event_id >= BIT_ULL(device->num_eventid_bits)) in vgic_its_check_event_id()1186 u8 num_eventid_bits) in vgic_its_alloc_device() argument1196 device->num_eventid_bits = num_eventid_bits; in vgic_its_alloc_device()1212 u8 num_eventid_bits = its_cmd_get_size(its_cmd); in vgic_its_cmd_handle_mapd() local1219 if (valid && num_eventid_bits > VITS_TYPER_IDBITS) in vgic_its_cmd_handle_mapd()1240 num_eventid_bits); in vgic_its_cmd_handle_mapd()2256 if (event_id + offset >= BIT_ULL(dev->num_eventid_bits)) in vgic_its_restore_ite()2369 (dev->num_eventid_bits - 1)); in vgic_its_save_dte()2391 u8 num_eventid_bits; in vgic_its_restore_dte() local[all …]