Searched refs:va_bits (Results 1 – 1 of 1) sorted by relevance
65 u64 ips, va_bits; in get_tcr() local76 va_bits = 48; in get_tcr()79 va_bits = 44; in get_tcr()82 va_bits = 42; in get_tcr()85 va_bits = 40; in get_tcr()88 va_bits = 36; in get_tcr()91 va_bits = 32; in get_tcr()139 u64 va_bits; in find_pte() local236 u64 va_bits; in apply_cmo_to_mappings() local353 u64 va_bits; in add_map() local[all …]
Completed in 7 milliseconds