vmm_sysmem_maxaddr
maxaddr = vmm_sysmem_maxaddr(vm);
maxaddr = vmm_sysmem_maxaddr(sc->vm);
vm_paddr_t vmm_sysmem_maxaddr(struct vm *vm);