xen_processor_px  393 include/xen/interface/platform.h DEFINE_GUEST_HANDLE_STRUCT(xen_processor_px);
xen_processor_px  409 include/xen/interface/platform.h 	GUEST_HANDLE(xen_processor_px) states;