pmap_init_l1
pmap_init_l1(l1, kernel_l1pt);
void pmap_init_l1(struct l1_ttable *, pd_entry_t *);
pmap_init_l1(l1, pl1pt);