Searched defs:va_bits (Results 1 – 2 of 2) 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
53 unsigned int va_bits; member