native_p4d_val
p4dval_t val = native_p4d_val(p4d);
#define p4d_val(x) native_p4d_val(x)
return (native_p4d_val(p4d) & ~(_PAGE_KNL_ERRATUM_MASK)) == 0;
pgd = native_make_pgd(native_p4d_val(p4d));
return native_p4d_val(p4d) & p4d_flags_mask(p4d);