XEN_GUEST_HANDLE_64
XEN_GUEST_HANDLE_64(uint64) buffer;
XEN_GUEST_HANDLE_64(uint32) array;
XEN_GUEST_HANDLE_64(uint8) dirty_bitmap;
XEN_GUEST_HANDLE_64(vcpu_guest_context_t) ctxt; /* IN/OUT */
XEN_GUEST_HANDLE_64(uint8) bitmap;
XEN_GUEST_HANDLE_64(uint8) buffer; /* IN/OUT: data, or call
XEN_GUEST_HANDLE_64(uint32) sdev_array; /* OUT */
XEN_GUEST_HANDLE_64(uint8) buffer; /* OUT: buffer to write record into */
XEN_GUEST_HANDLE_64(uint8) dirty_bitmap;
XEN_GUEST_HANDLE_64(uint32) cpu_to_node;
XEN_GUEST_HANDLE_64(xen_sysctl_perfc_desc_t) desc;
XEN_GUEST_HANDLE_64(xen_sysctl_perfc_val_t) val;
XEN_GUEST_HANDLE_64(xen_domctl_getdomaininfo_t) buffer;
XEN_GUEST_HANDLE_64(char) keys;
XEN_GUEST_HANDLE_64(xen_sysctl_cpuinfo_t) info;
XEN_GUEST_HANDLE_64(uint64) trans_pt; /* Px transition table */
XEN_GUEST_HANDLE_64(pm_px_val_t) pt;
XEN_GUEST_HANDLE_64(uint64) triggers; /* Cx trigger counts */
XEN_GUEST_HANDLE_64(uint64) residencies; /* Cx residencies */
XEN_GUEST_HANDLE_64(uint32) affected_cpus;
XEN_GUEST_HANDLE_64(uint32) scaling_available_frequencies;
XEN_GUEST_HANDLE_64(char) scaling_available_governors;
XEN_GUEST_HANDLE_64(uint32) cpu_to_core;
XEN_GUEST_HANDLE_64(uint32) cpu_to_socket;
XEN_GUEST_HANDLE_64(char) buffer;
#ifndef XEN_GUEST_HANDLE_64
XEN_GUEST_HANDLE_64(void) policy_pushcache;
XEN_GUEST_HANDLE_64(void) del_array;
XEN_GUEST_HANDLE_64(void) chg_array;
XEN_GUEST_HANDLE_64(void) err_array;
XEN_GUEST_HANDLE_64(void) relabel_map;
XEN_GUEST_HANDLE_64(void) err_array;
XEN_GUEST_HANDLE_64(void) pushcache;
XEN_GUEST_HANDLE_64(void) pullcache;
XEN_GUEST_HANDLE_64(void) pullcache;
XEN_GUEST_HANDLE_64(void) ssidbuf;