PTSHIFT
#define va_to_pte(v) (int)((((paddr_t)(v))>>PTSHIFT)&PTMASK)
#define PDSHIFT (10+PTSHIFT)
(i << STSHIFT) | (k << PDSHIFT) | ((j - 1) << PTSHIFT),
(i << STSHIFT) | (k << PDSHIFT) | (j << PTSHIFT),