xenpf_pcpuinfo    441 include/xen/interface/platform.h DEFINE_GUEST_HANDLE_STRUCT(xenpf_pcpuinfo);
xenpf_pcpuinfo    493 include/xen/interface/platform.h 		struct xenpf_pcpuinfo          pcpu_info;