its_vpe_db_proxy_unmap_locked
its_vpe_db_proxy_unmap_locked(vpe);
its_vpe_db_proxy_unmap_locked(vpe_proxy.vpes[vpe_proxy.next_victim]);