Searched refs:max_msb (Results 1 – 1 of 1) sorted by relevance
237 int max_msb = (dst_addr & GENMASK(52, 48)) ? 51 : 47; in trans_pgd_idmap_page() local251 level_msb = min(level_lsb + bits_mapped, max_msb); in trans_pgd_idmap_page()261 if (level_msb == max_msb) in trans_pgd_idmap_page()266 *t0sz = TCR_T0SZ(max_msb + 1); in trans_pgd_idmap_page()