Home
last modified time | relevance | path

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

/freebsd-src/sys/contrib/xen/
H A Dsysctl.h56 XEN_GUEST_HANDLE_64(char) buffer;
161 XEN_GUEST_HANDLE_64(xen_sysctl_perfc_desc_t) desc;
163 XEN_GUEST_HANDLE_64(xen_sysctl_perfc_val_t) val;
171 XEN_GUEST_HANDLE_64(xen_domctl_getdomaininfo_t) buffer;
180 XEN_GUEST_HANDLE_64(const_char) keys;
194 XEN_GUEST_HANDLE_64(xen_sysctl_cpuinfo_t) info;
223 XEN_GUEST_HANDLE_64(uint64) trans_pt; /* Px transition table */
224 XEN_GUEST_HANDLE_64(pm_px_val_t) pt;
231 XEN_GUEST_HANDLE_64(uint64) triggers; /* Cx trigger counts */
232 XEN_GUEST_HANDLE_64(uint64) residencies; /* Cx residencies */
[all …]
H A Ddomctl.h193 XEN_GUEST_HANDLE_64(xen_pfn_t) array;
274 XEN_GUEST_HANDLE_64(uint8) dirty_bitmap;
291 XEN_GUEST_HANDLE_64(vcpu_guest_context_t) ctxt; /* IN/OUT */
429 XEN_GUEST_HANDLE_64(xen_domctl_schedparam_vcpu_t) vcpus;
492 XEN_GUEST_HANDLE_64(uint8) buffer; /* IN/OUT: data, or call
545 XEN_GUEST_HANDLE_64(char) path; /* path to the device tree node */
556 XEN_GUEST_HANDLE_64(uint32) sdev_array; /* OUT */
697 XEN_GUEST_HANDLE_64(xen_cpuid_leaf_t) cpuid_policy; /* IN/OUT */
698 XEN_GUEST_HANDLE_64(xen_msr_entry_t) msr_policy; /* IN/OUT */
747 XEN_GUEST_HANDLE_64(uint8) buffer; /* OUT: buffer to write record into */
[all …]
H A Dxen.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;
H A Dmemory.h407 XEN_GUEST_HANDLE_64(const_uint8) buffer;
/freebsd-src/sys/contrib/xen/arch-x86/
H A Dxen-x86_32.h107 #define XEN_GUEST_HANDLE_64(name) __XEN_GUEST_HANDLE_64(name) macro