minor clean up of xc_core.
This patch fixes the bug reported as
http://bugzilla.xensource.com/bugzilla/show_bug.cgi?id=1062
--
yamahata
_______________________________________________
Xen-devel mailing list
Xen-devel@lists.xensource.com
http://lists.xensource.com/xen-devel