[Xen-devel] [PATCH] [XENOPROF] fix shared_xenoprof_page_with_guest() and clean up

[Isaku Yamahata <yamahata@xxxxxxxxxxxxx>]

Without this patch, profiling more than twice causes xen panic
because of page reference counter inconsistency.

[XENOPROFILE] fix shared_xenoprof_page_with_guest() and clean up.
- share_xenoprof_page_with_guest() must check page reference count manually
  and clear the page owner in order to keep page_info consistency.
  free_domheap_pages() called by put_page() doesn't clear page owner.
  It's intentional. On the other hand, share_xen_page_with_guest() checks
  whether the page owner is already a requested one at first. If so,
  it simply returns doing nothing because share_xen_page_with_guest() expects
  freshly allocated pages or already shared one and doesn't expect
  put_page()-and-free_domheap_pages() pages or pages shared with
  another domains.
- clean up
  remove unsed argument gmaddr of alloc_xenoprof_buf(), alloc_xenoprof_struct()

-- 
yamahata

Attachment: 12549_ec4428278e41_xenoprof_common_allocation.patch
Description: Text document

_______________________________________________
Xen-devel mailing list
Xen-devel@xxxxxxxxxxxxxxxxxxx
http://lists.xensource.com/xen-devel