XEN_GUEST_HANDLE
XEN_GUEST_HANDLE(mc_info_t) data;
XEN_GUEST_HANDLE(xen_mc_logical_cpu_t) info;
XEN_GUEST_HANDLE(ulong) frame_list;
XEN_GUEST_HANDLE(xen_pfn_t) extent_start;
XEN_GUEST_HANDLE(void) buffer;
XEN_GUEST_HANDLE(xen_pfn_t) extent_start;
XEN_GUEST_HANDLE(uint8) bitmap;
XEN_GUEST_HANDLE(const_void) data;/* Pointer to microcode data */
XEN_GUEST_HANDLE(void) edd_params;
XEN_GUEST_HANDLE(uint8) edid;
XEN_GUEST_HANDLE(uint8) cpumap_bitmap;
XEN_GUEST_HANDLE(uint64) idletime;
XEN_GUEST_HANDLE(xen_processor_csd_t) dp; /* NULL if no dependency */
XEN_GUEST_HANDLE(xen_processor_cx_t) states; /* supported c states */
XEN_GUEST_HANDLE(xen_processor_px_t) states;
XEN_GUEST_HANDLE(evtchn_port_t) ports;
XEN_GUEST_HANDLE(uint32) status;
XEN_GUEST_HANDLE(vcpu_runstate_info_t) h;
XEN_GUEST_HANDLE(const_void) vcpumask;
#define XEN_GUEST_HANDLE_64(name) XEN_GUEST_HANDLE(name)