Hi,
At 16:18 +0900 on 24 Oct (1161706722), Doi.Tsunehisa@xxxxxxxxxxxxxx wrote:
> 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...
> if ( unlikely((x & PGC_count_mask) == 0) || /* Not allocated? */
> unlikely((nx & PGC_count_mask) == 0) || /* Count overflow? */
> unlikely(d != _domain) ) /* Wrong owner? */
Cheers,
Tim.
_______________________________________________
Xen-devel mailing list
Xen-devel@xxxxxxxxxxxxxxxxxxx
http://lists.xensource.com/xen-devel