Lines Matching refs:XEN_GUEST_HANDLE
115 XEN_GUEST_HANDLE(const_void) data;/* Pointer to microcode data */
195 XEN_GUEST_HANDLE(void) name; /* UCS-2/UTF-16 string */
197 XEN_GUEST_HANDLE(void) data;
203 XEN_GUEST_HANDLE(void) name; /* UCS-2/UTF-16 string */
216 XEN_GUEST_HANDLE(void) capsule_header_array;
223 XEN_GUEST_HANDLE(void) capsule_header_array;
262 XEN_GUEST_HANDLE(void) edd_params;
273 XEN_GUEST_HANDLE(uint8) edid;
284 XEN_GUEST_HANDLE(void) name; /* UCS-2/UTF-16 string */
356 XEN_GUEST_HANDLE(uint8) cpumap_bitmap;
361 XEN_GUEST_HANDLE(uint64) idletime;
410 XEN_GUEST_HANDLE(xen_processor_csd_t) dp; /* NULL if no dependency */
426 XEN_GUEST_HANDLE(xen_processor_cx_t) states; /* supported c states */
464 XEN_GUEST_HANDLE(xen_processor_px_t) states;
478 XEN_GUEST_HANDLE(uint32) pdc; /* _PDC */
594 XEN_GUEST_HANDLE(xenpf_resource_entry_t) entries;
610 XEN_GUEST_HANDLE(char) name;