Home
last modified time | relevance | path

Searched refs:XEN_GUEST_HANDLE_64 (Results 1 – 5 of 5) sorted by relevance

/freebsd-13-stable/sys/xen/interface/
HDsysctl.h56 XEN_GUEST_HANDLE_64(char) buffer;
154 XEN_GUEST_HANDLE_64(xen_sysctl_perfc_desc_t) desc;
156 XEN_GUEST_HANDLE_64(xen_sysctl_perfc_val_t) val;
164 XEN_GUEST_HANDLE_64(xen_domctl_getdomaininfo_t) buffer;
173 XEN_GUEST_HANDLE_64(const_char) keys;
187 XEN_GUEST_HANDLE_64(xen_sysctl_cpuinfo_t) info;
216 XEN_GUEST_HANDLE_64(uint64) trans_pt; /* Px transition table */
217 XEN_GUEST_HANDLE_64(pm_px_val_t) pt;
224 XEN_GUEST_HANDLE_64(uint64) triggers; /* Cx trigger counts */
225 XEN_GUEST_HANDLE_64(uint64) residencies; /* Cx residencies */
[all …]
HDdomctl.h177 XEN_GUEST_HANDLE_64(xen_pfn_t) array;
258 XEN_GUEST_HANDLE_64(uint8) dirty_bitmap;
275 XEN_GUEST_HANDLE_64(vcpu_guest_context_t) ctxt; /* IN/OUT */
413 XEN_GUEST_HANDLE_64(xen_domctl_schedparam_vcpu_t) vcpus;
475 XEN_GUEST_HANDLE_64(uint8) buffer; /* IN/OUT: data, or call
528 XEN_GUEST_HANDLE_64(char) path; /* path to the device tree node */
539 XEN_GUEST_HANDLE_64(uint32) sdev_array; /* OUT */
680 XEN_GUEST_HANDLE_64(xen_cpuid_leaf_t) cpuid_policy; /* IN/OUT */
681 XEN_GUEST_HANDLE_64(xen_msr_entry_t) msr_policy; /* IN/OUT */
730 XEN_GUEST_HANDLE_64(uint8) buffer; /* OUT: buffer to write record into */
[all …]
HDxen.h1025 #ifndef XEN_GUEST_HANDLE_64
1026 #define XEN_GUEST_HANDLE_64(name) XEN_GUEST_HANDLE(name) macro
1031 XEN_GUEST_HANDLE_64(uint8) bitmap;
HDmemory.h400 XEN_GUEST_HANDLE_64(const_uint8) buffer;
/freebsd-13-stable/sys/xen/interface/arch-x86/
HDxen-x86_32.h107 #define XEN_GUEST_HANDLE_64(name) __XEN_GUEST_HANDLE_64(name) macro