Ok, I got a little closer. Given a vm_map_entry, suggestions on how to
convert its address span into physical addresses or is (vaddr_t) start and
(vaddr_t) end already what I'm looking for?

Thanks