ADDR_64K_MASK
pfn = (e->val64 & ADDR_64K_MASK) >> PAGE_SHIFT;
e->val64 &= ~ADDR_64K_MASK;
pfn &= (ADDR_64K_MASK >> PAGE_SHIFT);