Searched defs:num_eventid_bits (Results 1 – 1 of 1) sorted by relevance
123 u32 num_eventid_bits; member1178 u8 num_eventid_bits) in vgic_its_alloc_device()1204 u8 num_eventid_bits = its_cmd_get_size(its_cmd); in vgic_its_cmd_handle_mapd() local2362 u8 num_eventid_bits; in vgic_its_restore_dte() local