_REGION3_MASK
#define PUD_MASK _REGION3_MASK
#define _REGION3_FR_MASK (_REGION3_MASK >> PAGE_SHIFT)
return pud_origin_large(pud) | (gfn_to_gpa(gfn) & ~_REGION3_MASK);
table.val = u64_replace_bits(table.val, saddr, ~_REGION3_MASK);