VPT_INDEX
(vaddr_t)(&VPT[VPT_INDEX(va)]), FALSE,
(vaddr_t)(&VPT[VPT_INDEX(va)]), 0);
#define PMAP_KERNEL_PTE(va) (&VPT[VPT_INDEX((va))])