mm_map_segment
secva = mm_map_segment(segtype, secpa, secsz, secalign);
vaddr_t mm_map_segment(int, paddr_t, size_t, size_t);