xenpf_cpu_ol      448 include/xen/interface/platform.h DEFINE_GUEST_HANDLE_STRUCT(xenpf_cpu_ol);
xenpf_cpu_ol      494 include/xen/interface/platform.h 		struct xenpf_cpu_ol            cpu_ol;