On May 24, 2005, at 2:40 PM, Manuel Bouyer wrote:

> Because when freed, the page will be passed back to the hypervisor,
> and and this doesn't work if there are mappings left at the hypervisor
> level (in this case, if the pmap update to remove the mapping is  
> still in the
> domain's pmap queue).

Ok, so maybe what you need to do is implement a kind of "deferred  
free queue" in the same way the sosend_loan code does.

-- thorpej