Searched refs:maskshift (Results 1 – 1 of 1) sorted by relevance
897 int maskshift = extract32(tcr, 0, 3); in get_level1_table_address() local898 uint32_t mask = ~(((uint32_t)0xffffffffu) >> maskshift); in get_level1_table_address()912 base_mask = ~((uint32_t)0x3fffu >> maskshift); in get_level1_table_address()