pmap_preboot_map_pages
pmap_preboot_map_pages(systempage, ARM_VECTORS_HIGH, 1);
pmap_preboot_map_pages(pa, va, num);
void pmap_preboot_map_pages(vm_paddr_t, vm_offset_t, u_int);