xenpf_core_parking  475 include/xen/interface/platform.h DEFINE_GUEST_HANDLE_STRUCT(xenpf_core_parking);
xenpf_core_parking  497 include/xen/interface/platform.h 		struct xenpf_core_parking      core_parking;