HomeSort by: relevance | last modified time | path
    Searched refs:XEN_GUEST_HANDLE_64 (Results 1 - 4 of 4) sorted by relevancy

  /src/sys/external/mit/xen-include-public/dist/xen/include/public/
sysctl.h 57 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(uint64) residencies; /* Cx residencies *
    [all...]
domctl.h 145 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_t) msrs; /* IN/OUT *
    [all...]
xen.h 983 #ifndef XEN_GUEST_HANDLE_64
984 #define XEN_GUEST_HANDLE_64(name) XEN_GUEST_HANDLE(name)
989 XEN_GUEST_HANDLE_64(uint8) bitmap;
  /src/sys/external/mit/xen-include-public/dist/xen/include/public/arch-x86/
xen-x86_32.h 107 #define XEN_GUEST_HANDLE_64(name) __XEN_GUEST_HANDLE_64(name)

Completed in 15 milliseconds