Lines Matching refs:GUEST_HANDLE

105 	GUEST_HANDLE(void) data;          /* Pointer to microcode data */
174 			GUEST_HANDLE(void) name;  /* UCS-2/UTF-16 string */
176 			GUEST_HANDLE(void) data;
187 			GUEST_HANDLE(void) name;  /* UCS-2/UTF-16 string */
199 			GUEST_HANDLE(void) capsule_header_array;
206 			GUEST_HANDLE(void) capsule_header_array;
244 			GUEST_HANDLE(void) edd_params;
255 			GUEST_HANDLE(uchar) edid;
267 				GUEST_HANDLE(void) name;
315 	GUEST_HANDLE(uchar) cpumap_bitmap;
320 	GUEST_HANDLE(uint64_t) idletime;
366 	GUEST_HANDLE(xen_processor_csd) dp; /* NULL if no dependency */
381 	GUEST_HANDLE(xen_processor_cx) states; /* supported c states */
418 	GUEST_HANDLE(xen_processor_px) states;
431 		GUEST_HANDLE(uint32_t)              pdc;
497 	GUEST_HANDLE(char) name;