pub unsafe fn map_vma(pt_root: u64, vma: &VMArea, do_copy: bool) -> bool
unsafe as it dereferences raw pointer pt_root. Must make sure it’s a valid, 4k aligned virtual address.