AMD64_PG_V
if ((pml4e & AMD64_PG_V) == 0) {
if ((pdpe & AMD64_PG_V) == 0) {
if ((pde & AMD64_PG_V) == 0) {
if ((pte & AMD64_PG_V) == 0) {
_Static_assert(PG_V == AMD64_PG_V, "PG_V mismatch");
if ((pte & AMD64_PG_V) == 0) {
if ((pde & AMD64_PG_V) == 0) {
if ((pte & AMD64_PG_V) == 0) {
if ((pde & AMD64_PG_V) == 0)
if ((pte & AMD64_PG_V) != 0) {