p4d_raw
return !p4d_raw(p4d);
return !!(p4d_raw(p4d) & cpu_to_be64(_PAGE_PRESENT));
return __pte_raw(p4d_raw(p4d));