Lines Matching refs:GUEST_HANDLE
88 GUEST_HANDLE(void) data; /* Pointer to microcode data */
157 GUEST_HANDLE(void) name; /* UCS-2/UTF-16 string */
159 GUEST_HANDLE(void) data;
170 GUEST_HANDLE(void) name; /* UCS-2/UTF-16 string */
182 GUEST_HANDLE(void) capsule_header_array;
189 GUEST_HANDLE(void) capsule_header_array;
227 GUEST_HANDLE(void) edd_params;
238 GUEST_HANDLE(uchar) edid;
250 GUEST_HANDLE(void) name;
298 GUEST_HANDLE(uchar) cpumap_bitmap;
303 GUEST_HANDLE(uint64_t) idletime;
349 GUEST_HANDLE(xen_processor_csd) dp; /* NULL if no dependency */
364 GUEST_HANDLE(xen_processor_cx) states; /* supported c states */
401 GUEST_HANDLE(xen_processor_px) states;
414 GUEST_HANDLE(uint32_t) pdc;
480 GUEST_HANDLE(char) name;