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