Searched defs:va_bits (Results 1 – 1 of 1) sorted by relevance
41 u64 ips, va_bits; in get_tcr() local109 u64 va_bits; in find_pte() local339 u64 va_bits; in get_page_table_size() local