Searched defs:l2_idx (Results 1 – 3 of 3) sorted by relevance
98 u32 l2_idx; in page_table_dump() local261 unsigned int l2_idx; in l2_unmap() local312 unsigned int l2_idx; in l2_map() local
85 u32 l2_idx; /* level 2 base address table index */ member
344 unsigned int l1_idx, l2_idx, l2_bits; in gicv5_its_device_get_itte_ref() local422 unsigned int l2sz, l2_bits, l1_idx, l2_idx; in gicv5_its_devtab_get_dte_ref() local