Searched refs:XEN_GUEST_HANDLE_64 (Results 1 - 4 of 4) sorted by relevance

/netbsd-current/sys/external/mit/xen-include-public/dist/xen/include/public/
H A Dsysctl.h57 XEN_GUEST_HANDLE_64(char) buffer;
138 XEN_GUEST_HANDLE_64(xen_sysctl_perfc_desc_t) desc;
140 XEN_GUEST_HANDLE_64(xen_sysctl_perfc_val_t) val;
148 XEN_GUEST_HANDLE_64(xen_domctl_getdomaininfo_t) buffer;
157 XEN_GUEST_HANDLE_64(char) keys;
171 XEN_GUEST_HANDLE_64(xen_sysctl_cpuinfo_t) info;
200 XEN_GUEST_HANDLE_64(uint64) trans_pt; /* Px transition table */
201 XEN_GUEST_HANDLE_64(pm_px_val_t) pt;
208 XEN_GUEST_HANDLE_64(uint64) triggers; /* Cx trigger counts */
209 XEN_GUEST_HANDLE_64(uint6
[all...]
H A Ddomctl.h145 XEN_GUEST_HANDLE_64(xen_pfn_t) array;
226 XEN_GUEST_HANDLE_64(uint8) dirty_bitmap;
243 XEN_GUEST_HANDLE_64(vcpu_guest_context_t) ctxt; /* IN/OUT */
374 XEN_GUEST_HANDLE_64(xen_domctl_schedparam_vcpu_t) vcpus;
436 XEN_GUEST_HANDLE_64(uint8) buffer; /* IN/OUT: data, or call
489 XEN_GUEST_HANDLE_64(char) path; /* path to the device tree node */
500 XEN_GUEST_HANDLE_64(uint32) sdev_array; /* OUT */
689 XEN_GUEST_HANDLE_64(uint8) buffer; /* OUT: buffer to write record into */
861 XEN_GUEST_HANDLE_64(uint64) buffer;
924 XEN_GUEST_HANDLE_64(xen_domctl_vcpu_msr_
[all...]
H A Dxen.h983 #ifndef XEN_GUEST_HANDLE_64
984 #define XEN_GUEST_HANDLE_64(name) XEN_GUEST_HANDLE(name) macro
989 XEN_GUEST_HANDLE_64(uint8) bitmap;
/netbsd-current/sys/external/mit/xen-include-public/dist/xen/include/public/arch-x86/
H A Dxen-x86_32.h107 #define XEN_GUEST_HANDLE_64(name) __XEN_GUEST_HANDLE_64(name) macro

Completed in 95 milliseconds