pv_addr_t
pv_addr_t kernelstack;
pv_addr_t *pv;
pmap_link_l2pt(vaddr_t l1pt, vaddr_t va, pv_addr_t *l2pv)
extern pv_addr_t systempage;
extern pv_addr_t systempage;
void pmap_link_l2pt(vaddr_t, vaddr_t, pv_addr_t *);
pv_addr_t systempage;
pv_addr_t irqstack;
pv_addr_t undstack;
pv_addr_t abtstack;
extern pv_addr_t kernelstack;
pv_addr_t kernel_pt_table[NUM_KERNEL_PTS];
pv_addr_t kernel_l1pt;
pv_addr_t fdt, map;