Searched defs:num_eventid_bits (Results 1 – 2 of 2) sorted by relevance
198 u32 num_eventid_bits; member
1130 u8 num_eventid_bits) in vgic_its_alloc_device()1156 u8 num_eventid_bits = its_cmd_get_size(its_cmd); in vgic_its_cmd_handle_mapd() local2291 u8 num_eventid_bits; in vgic_its_restore_dte() local