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;