Use virtptr_to_physint for memory manager mock
Use virtptr_to_physint for memory manager mock

connojd/hypervisor,Bareflank/hypervisor,RicoAntonioFelix/hypervisor,RicoAntonioFelix/hypervisor,rianquinn/hypervisor,connojd/hypervisor,rianquinn/hypervisor,Bareflank/hypervisor,connojd/hypervisor,RicoAntonioFelix/hypervisor,Bareflank/hypervisor,rianquinn/hypervisor