X86_PG_PS
if (pte & X86_PG_PS) { /* 1GB pages */
if (pte & X86_PG_PS) { /* 2MB pages */
if ((u_long)pde & X86_PG_PS) {
[PG_PS_IDX] = X86_PG_PS,