Searched defs:num_eventid_bits (Results 1 – 1 of 1) sorted by relevance
127 u32 num_eventid_bits; member1114 u8 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() local2273 u8 num_eventid_bits; in vgic_its_restore_dte() local