PAGE2M_MASK
#define PG_FRAME2M (~PAGE2M_MASK)
a = ((u_long)pde & PG_FRAME2M) + (va & PAGE2M_MASK);
return (NBPDR - (va & PAGE2M_MASK));