__PT_BASE_ADDR_MASK
root_gfn = (root_pgd & __PT_BASE_ADDR_MASK) >> PAGE_SHIFT;
#define PT_BASE_ADDR_MASK ((pt_element_t)__PT_BASE_ADDR_MASK)