X86_PAGE_SHIFT
#define X86_PAGE_SIZE (1ULL << X86_PAGE_SHIFT)
off_shift = X86_PAGE_SHIFT + off_bits * level;
offset <<= X86_PAGE_SHIFT - off_bits;