native_set_p4d
# define set_p4d(p4dp, p4d) native_set_p4d(p4dp, p4d)
native_set_p4d(p4d, native_make_p4d(0));
.mmu.set_p4d = native_set_p4d,