native_make_p4d
set_p4d(p4dp, native_make_p4d(0));
#define __p4d(x) native_make_p4d(x)
WRITE_ONCE(*p4dp, native_make_p4d(native_pgd_val(pgd)));
native_set_p4d(p4d, native_make_p4d(0));
return native_make_p4d(p4d);