XE_64K_PAGE_SIZE
#define XE_64K_PTE_MASK (XE_64K_PAGE_SIZE - 1)
i += vm->flags & XE_VM_FLAG_64K ? XE_64K_PAGE_SIZE :