Searched defs:va_bits (Results 1 – 1 of 1) sorted by relevance
40 u64 ips, va_bits; in get_tcr() local108 u64 va_bits; in find_pte() local338 u64 va_bits; in get_page_table_size() local