Lines Matching refs:XEN_GUEST_HANDLE_64
118 XEN_GUEST_HANDLE_64(uint64) buffer;
157 XEN_GUEST_HANDLE_64(uint32) array;
167 XEN_GUEST_HANDLE_64(xen_pfn_t) array;
239 XEN_GUEST_HANDLE_64(uint8) dirty_bitmap;
260 XEN_GUEST_HANDLE_64(vcpu_guest_context_t) ctxt; /* IN/OUT */
417 XEN_GUEST_HANDLE_64(uint8) buffer; /* IN/OUT: data, or call
470 XEN_GUEST_HANDLE_64(uint32) sdev_array; /* OUT */
655 XEN_GUEST_HANDLE_64(uint8) buffer; /* OUT: buffer to write record into */
677 XEN_GUEST_HANDLE_64(xen_guest_tsc_info_t) out_info; /* OUT */
836 XEN_GUEST_HANDLE_64(uint64) buffer;