Lines Matching refs:GUEST_HANDLE

96 	GUEST_HANDLE(void) data;          /* Pointer to microcode data */
165 			GUEST_HANDLE(void) name;  /* UCS-2/UTF-16 string */
167 			GUEST_HANDLE(void) data;
178 			GUEST_HANDLE(void) name;  /* UCS-2/UTF-16 string */
190 			GUEST_HANDLE(void) capsule_header_array;
197 			GUEST_HANDLE(void) capsule_header_array;
235 			GUEST_HANDLE(void) edd_params;
246 			GUEST_HANDLE(uchar) edid;
258 				GUEST_HANDLE(void) name;
306 	GUEST_HANDLE(uchar) cpumap_bitmap;
311 	GUEST_HANDLE(uint64_t) idletime;
357 	GUEST_HANDLE(xen_processor_csd) dp; /* NULL if no dependency */
372 	GUEST_HANDLE(xen_processor_cx) states; /* supported c states */
409 	GUEST_HANDLE(xen_processor_px) states;
422 		GUEST_HANDLE(uint32_t)              pdc;
488 	GUEST_HANDLE(char) name;