xen_processor_cx  359 include/xen/interface/platform.h DEFINE_GUEST_HANDLE_STRUCT(xen_processor_cx);
xen_processor_cx  372 include/xen/interface/platform.h 	GUEST_HANDLE(xen_processor_cx) states; /* supported c states */