X86_PG_V
if (((u_long)pte & X86_PG_V) == 0) {
if ((pte & X86_PG_V) == 0) {
if ((pte & X86_PG_V) == 0) {
if (((u_long)pml4e & X86_PG_V) == 0) {
if (((u_long)pdpe & X86_PG_V) == 0) {
if (((u_long)pde & X86_PG_V) == 0) {
if (((u_long)pte & X86_PG_V) == 0) {
#define _PAGE_PRESENT X86_PG_V
[PG_V_IDX] = X86_PG_V,
#define PTE_P X86_PG_V /* 0x001: P (Valid) */
#define PTE_P X86_PG_V /* 0x001: P (Valid) */