Searched refs:max_msb (Results 1 – 1 of 1) sorted by relevance
246 int max_msb = (dst_addr & GENMASK(52, 48)) ? 51 : 47; in trans_pgd_idmap_page() local260 level_msb = min(level_lsb + bits_mapped, max_msb); in trans_pgd_idmap_page()270 if (level_msb == max_msb) in trans_pgd_idmap_page()275 *t0sz = TCR_T0SZ(max_msb + 1); in trans_pgd_idmap_page()
Completed in 3 milliseconds