Searched refs:base_mask (Results 1 – 1 of 1) sorted by relevance
878 uint32_t base_mask; in get_level1_table_address() local891 base_mask = ~((uint32_t)0x3fffu >> maskshift); in get_level1_table_address()892 *table = regime_ttbr(env, mmu_idx, 0) & base_mask; in get_level1_table_address()