Lines Matching refs:X86_64_PTABLE_BITS
362 uint8_t map_bits = X86_64_BASE_PAGE_BITS + X86_64_PTABLE_BITS;
381 map_bits = X86_64_HUGE_PAGE_BITS + X86_64_PTABLE_BITS;
393 map_bits = X86_64_LARGE_PAGE_BITS + X86_64_PTABLE_BITS;
477 c = get_addr_prefix(vend, map_bits-X86_64_PTABLE_BITS) -
478 get_addr_prefix(temp_end, map_bits-X86_64_PTABLE_BITS);
642 map_bits = X86_64_BASE_PAGE_BITS + X86_64_PTABLE_BITS;
648 map_bits = X86_64_LARGE_PAGE_BITS + X86_64_PTABLE_BITS;
655 map_bits = X86_64_HUGE_PAGE_BITS + X86_64_PTABLE_BITS;
790 c = get_addr_prefix(vend, info.map_bits - X86_64_PTABLE_BITS) -
791 get_addr_prefix(vaddr, info.map_bits - X86_64_PTABLE_BITS);
938 c = get_addr_prefix(vend, info.map_bits - X86_64_PTABLE_BITS) -
939 get_addr_prefix(vaddr, info.map_bits - X86_64_PTABLE_BITS);