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

> Yes, what I'm trying to know if other mappings have ever existed  
> (in which
> case, their removal may still be in the queue).

Oh, I see.  But why should this matter?  There still shouldn't be any  
references to the buffer if it has been freed.  Even double-mapped  
ones (which there shouldn't be anyway).

-- thorpej