uapi/asm/kvm.h

80 	__u32 ioregsel;
81 	__u32 id;
82 	__u32 irr;
83 	__u32 pad;
128 	__u32 limit;
179 	__u32 mxcsr;
180 	__u32 pad2;
184 	__u32 index;
185 	__u32 reserved;
191 	__u32 nmsrs; /* number of msrs in entries */
192 	__u32 pad;
199 	__u32 nmsrs; /* number of msrs in entries */
200 	__u32 indices[];
212 	__u32 flags;
213 	__u32 nmsrs; /* number of msrs in bitmap */
214 	__u32 base;  /* MSR index the bitmap starts at */
225 	__u32 flags;
230 	__u32 function;
231 	__u32 eax;
232 	__u32 ebx;
233 	__u32 ecx;
234 	__u32 edx;
235 	__u32 padding;
240 	__u32 nent;
241 	__u32 padding;
246 	__u32 function;
247 	__u32 index;
248 	__u32 flags;
249 	__u32 eax;
250 	__u32 ebx;
251 	__u32 ecx;
252 	__u32 edx;
253 	__u32 padding[3];
262 	__u32 nent;
263 	__u32 padding;
269 	__u32 count; /* can be 65536 */
285 	__u32 exception;
286 	__u32 pad;
312 	__u32 flags;
313 	__u32 reserved[9];
340 		__u32 error_code;
354 	__u32 sipi_vector;
355 	__u32 flags;
394 	__u32 region[1024];
395 	__u32 extra[];
401 	__u32 xcr;
402 	__u32 reserved;
407 	__u32 nr_xcrs;
408 	__u32 flags;
478 	__u32 flags;
495 	__u32 size;
518 	__u32 action;
519 	__u32 nevents;
520 	__u32 fixed_counter_bitmap;
521 	__u32 flags;
522 	__u32 pad[4];
555 	__u32 flags;
556 	__u32 msr;
577 			__u32 send_port;
578 			__u32 type; /* EVTCHNSTAT_ipi / EVTCHNSTAT_interdomain */
579 			__u32 flags;
590 					__u32 port;
591 					__u32 vcpu;
592 					__u32 priority;
595 					__u32 port; /* Zero for eventfd */
598 				__u32 padding[4];
601 		__u32 xen_version;
635 		__u32 vcpu_id;
637 			__u32 port;
638 			__u32 priority;
696 	__u32 id;
697 	__u32 pad0;
699 	__u32 error;
700 	__u32 sev_fd;
704 	__u32 handle;
705 	__u32 policy;
707 	__u32 dh_len;
708 	__u32 pad0;
710 	__u32 session_len;
711 	__u32 pad1;
716 	__u32 len;
717 	__u32 pad0;
723 	__u32 hdr_len;
724 	__u32 pad0;
726 	__u32 guest_len;
727 	__u32 pad1;
729 	__u32 trans_len;
730 	__u32 pad2;
735 	__u32 len;
736 	__u32 pad0;
740 	__u32 handle;
741 	__u32 policy;
742 	__u32 state;
748 	__u32 len;
749 	__u32 pad0;
755 	__u32 len;
756 	__u32 pad0;
760 	__u32 policy;
761 	__u32 pad0;
763 	__u32 pdh_cert_len;
764 	__u32 pad1;
766 	__u32 plat_certs_len;
767 	__u32 pad2;
769 	__u32 amd_certs_len;
770 	__u32 pad3;
772 	__u32 session_len;
773 	__u32 pad4;
778 	__u32 hdr_len;
779 	__u32 pad0;
781 	__u32 guest_len;
782 	__u32 pad1;
784 	__u32 trans_len;
785 	__u32 pad2;
789 	__u32 handle;
790 	__u32 policy;
792 	__u32 pdh_len;
793 	__u32 pad0;
795 	__u32 session_len;
796 	__u32 pad1;
801 	__u32 hdr_len;
802 	__u32 pad0;
804 	__u32 guest_len;
805 	__u32 pad1;
807 	__u32 trans_len;
808 	__u32 pad2;
815 	__u32 conn_id;
817 	__u32 flags;
818 	__u32 padding[3];