Searched refs:XEN_GUEST_HANDLE_64 (Results 1 – 6 of 6) sorted by relevance
52 XEN_GUEST_HANDLE_64(void) pushcache;60 XEN_GUEST_HANDLE_64(void) pullcache;68 XEN_GUEST_HANDLE_64(void) pullcache;83 XEN_GUEST_HANDLE_64(void) ssidbuf;109 XEN_GUEST_HANDLE_64(void) policy_pushcache;111 XEN_GUEST_HANDLE_64(void) del_array;113 XEN_GUEST_HANDLE_64(void) chg_array;117 XEN_GUEST_HANDLE_64(void) err_array;124 XEN_GUEST_HANDLE_64(void) relabel_map;127 XEN_GUEST_HANDLE_64(void) err_array;
55 XEN_GUEST_HANDLE_64(char) buffer;118 XEN_GUEST_HANDLE_64(uint32) cpu_to_node;158 XEN_GUEST_HANDLE_64(xen_sysctl_perfc_desc_t) desc;160 XEN_GUEST_HANDLE_64(xen_sysctl_perfc_val_t) val;170 XEN_GUEST_HANDLE_64(xen_domctl_getdomaininfo_t) buffer;181 XEN_GUEST_HANDLE_64(char) keys;197 XEN_GUEST_HANDLE_64(xen_sysctl_cpuinfo_t) info;230 XEN_GUEST_HANDLE_64(uint64) trans_pt; /* Px transition table */231 XEN_GUEST_HANDLE_64(pm_px_val_t) pt;240 XEN_GUEST_HANDLE_64(uint64) triggers; /* Cx trigger counts */[all …]
40 XEN_GUEST_HANDLE_64(uint8) bitmap;121 XEN_GUEST_HANDLE_64(uint64) buffer;158 XEN_GUEST_HANDLE_64(uint32) array;232 XEN_GUEST_HANDLE_64(uint8) dirty_bitmap;253 XEN_GUEST_HANDLE_64(vcpu_guest_context_t) ctxt; /* IN/OUT */406 XEN_GUEST_HANDLE_64(uint8) buffer; /* IN/OUT: data, or call458 XEN_GUEST_HANDLE_64(uint32) sdev_array; /* OUT */642 XEN_GUEST_HANDLE_64(uint8) buffer; /* OUT: buffer to write record into */
661 #ifndef XEN_GUEST_HANDLE_64662 #define XEN_GUEST_HANDLE_64(name) XEN_GUEST_HANDLE(name) macro
90 XEN_GUEST_HANDLE_64(uint8) dirty_bitmap;
137 #define XEN_GUEST_HANDLE_64(name) __XEN_GUEST_HANDLE_64(name) macro