> I'm a little bit less sure about the purpose and naming of > add_context_to_unpinned, del_context_from_unpinned. We use a hypercall to tell Xen about new page tables, and hence 'pin' them. We do this in a lazy fashion, maintaining a list of mm's that have yet to be pinned, and then pin them just before use. Chris added these two functions to add and remove from the list. Best, Ian
