Searched defs:num_eventid_bits (Results 1 – 1 of 1) sorted by relevance
134 u32 num_eventid_bits; member1010 u8 num_eventid_bits) in vgic_its_alloc_device()1036 u8 num_eventid_bits = its_cmd_get_size(its_cmd); in vgic_its_cmd_handle_mapd() local2122 u8 num_eventid_bits; in vgic_its_restore_dte() local