pmapboot_protect
pmapboot_protect(L2_TRUNC_BLOCK(kernstart),
pmapboot_protect(L2_ROUND_BLOCK(rodata_start),
int pmapboot_protect(vaddr_t, vaddr_t, vm_prot_t);