Searched refs:va_bits (Results 1 – 1 of 1) sorted by relevance
41 u64 ips, va_bits; in get_tcr() local52 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[all …]