Lines Matching refs:va_bits
41 u64 ips, va_bits; in get_tcr() local
52 va_bits = 48; in get_tcr()
55 va_bits = 44; in get_tcr()
58 va_bits = 42; in get_tcr()
61 va_bits = 40; in get_tcr()
64 va_bits = 36; in get_tcr()
67 va_bits = 32; in get_tcr()
80 tcr |= TCR_T0SZ(va_bits); in get_tcr()
85 *pva_bits = va_bits; in get_tcr()
109 u64 va_bits; in find_pte() local
114 get_tcr(0, NULL, &va_bits); in find_pte()
115 if (va_bits < 39) in find_pte()
339 u64 va_bits; in get_page_table_size() local
342 get_tcr(0, NULL, &va_bits); in get_page_table_size()
343 if (va_bits < 39) in get_page_table_size()
347 size = one_pt * count_required_pts(0, start_level - 1, 1ULL << va_bits); in get_page_table_size()