xenpf_cpu_ol      457 include/xen/interface/platform.h DEFINE_GUEST_HANDLE_STRUCT(xenpf_cpu_ol);
xenpf_cpu_ol      521 include/xen/interface/platform.h 		struct xenpf_cpu_ol            cpu_ol;