I386_PG_FRAME_PAE
if (kvm_read2(kd, pa64 & I386_PG_FRAME_PAE,
pte_pa = (pde & I386_PG_FRAME_PAE) + (pteindex * sizeof(pde));
a = (pte & I386_PG_FRAME_PAE) + offset;
a = pte & I386_PG_FRAME_PAE;
*pa = pte64 & I386_PG_FRAME_PAE;