Hi,
You (Tim.Deegan) said:
>> In my investigation, get_page() assumes that the page frame is in
>> use. But, the page_info structure of released page frame should not
>> be treated as inuse. Thus the nd value might be invalid value in this
>> situation, I think.
>
> True, but we don't look at nd unless the page is allocated...
 Between domain_relinquish_resources() in domain_kill() and
shadow_final_teadown() in domain_destroy(), nd might be looked
with gnttab_copy(), I think.
 Is it true ?
Thanks,
- Tsunehisa Doi
_______________________________________________
Xen-devel mailing list
Xen-devel@xxxxxxxxxxxxxxxxxxx
http://lists.xensource.com/xen-devel