Searched refs:XEN_GUEST_HANDLE_64 (Results 1 – 3 of 3) sorted by relevance
383 #ifndef XEN_GUEST_HANDLE_64384 #define XEN_GUEST_HANDLE_64(name) XEN_GUEST_HANDLE(name) macro389 XEN_GUEST_HANDLE_64(uint8_t) bitmap;
179 XEN_GUEST_HANDLE_64(uint8_t) dirty_bitmap;195 XEN_GUEST_HANDLE_64(vcpu_guest_context_t) ctxt; /* IN/OUT */273 XEN_GUEST_HANDLE_64(xen_domctl_schedparam_vcpu_t) vcpus;326 XEN_GUEST_HANDLE_64(char) path; /* path to the device tree node */
2395 XEN_GUEST_HANDLE_64(x)= \