Re: [PATCH] InterfaceManager: unmap devices from tmp mapping