xenpf_core_parking  484 include/xen/interface/platform.h DEFINE_GUEST_HANDLE_STRUCT(xenpf_core_parking);
xenpf_core_parking  524 include/xen/interface/platform.h 		struct xenpf_core_parking      core_parking;