Searched refs:va_bits (Results 1 – 1 of 1) sorted by relevance
45 u64 ips, va_bits; in get_tcr() local56 va_bits = 48; in get_tcr()59 va_bits = 44; in get_tcr()62 va_bits = 42; in get_tcr()65 va_bits = 40; in get_tcr()68 va_bits = 36; in get_tcr()71 va_bits = 32; in get_tcr()113 u64 va_bits; in find_pte() local119 if (va_bits < 39) in find_pte()343 u64 va_bits; in get_page_table_size() local[all …]
Completed in 4 milliseconds