Lines Matching refs:__u32
80 __u32 ioregsel;
81 __u32 id;
82 __u32 irr;
83 __u32 pad;
129 __u32 limit;
180 __u32 mxcsr;
181 __u32 pad2;
185 __u32 index;
186 __u32 reserved;
192 __u32 nmsrs; /* number of msrs in entries */
193 __u32 pad;
200 __u32 nmsrs; /* number of msrs in entries */
201 __u32 indices[];
213 __u32 flags;
214 __u32 nmsrs; /* number of msrs in bitmap */
215 __u32 base; /* MSR index the bitmap starts at */
226 __u32 flags;
231 __u32 function;
232 __u32 eax;
233 __u32 ebx;
234 __u32 ecx;
235 __u32 edx;
236 __u32 padding;
241 __u32 nent;
242 __u32 padding;
247 __u32 function;
248 __u32 index;
249 __u32 flags;
250 __u32 eax;
251 __u32 ebx;
252 __u32 ecx;
253 __u32 edx;
254 __u32 padding[3];
263 __u32 nent;
264 __u32 padding;
270 __u32 count; /* can be 65536 */
286 __u32 exception;
287 __u32 pad;
313 __u32 flags;
314 __u32 reserved[9];
341 __u32 error_code;
355 __u32 sipi_vector;
356 __u32 flags;
395 __u32 region[1024];
396 __u32 extra[];
402 __u32 xcr;
403 __u32 reserved;
408 __u32 nr_xcrs;
409 __u32 flags;
487 __u32 flags;
504 __u32 size;
527 __u32 action;
528 __u32 nevents;
529 __u32 fixed_counter_bitmap;
530 __u32 flags;
531 __u32 pad[4];
567 __u32 flags;
568 __u32 msr;
589 __u32 send_port;
590 __u32 type; /* EVTCHNSTAT_ipi / EVTCHNSTAT_interdomain */
591 __u32 flags;
602 __u32 port;
603 __u32 vcpu;
604 __u32 priority;
607 __u32 port; /* Zero for eventfd */
610 __u32 padding[4];
613 __u32 xen_version;
647 __u32 vcpu_id;
649 __u32 port;
650 __u32 priority;
716 __u32 id;
717 __u32 pad0;
719 __u32 error;
720 __u32 sev_fd;
725 __u32 flags;
728 __u32 pad2[8];
732 __u32 handle;
733 __u32 policy;
735 __u32 dh_len;
736 __u32 pad0;
738 __u32 session_len;
739 __u32 pad1;
744 __u32 len;
745 __u32 pad0;
751 __u32 hdr_len;
752 __u32 pad0;
754 __u32 guest_len;
755 __u32 pad1;
757 __u32 trans_len;
758 __u32 pad2;
763 __u32 len;
764 __u32 pad0;
768 __u32 handle;
769 __u32 policy;
770 __u32 state;
776 __u32 len;
777 __u32 pad0;
783 __u32 len;
784 __u32 pad0;
788 __u32 policy;
789 __u32 pad0;
791 __u32 pdh_cert_len;
792 __u32 pad1;
794 __u32 plat_certs_len;
795 __u32 pad2;
797 __u32 amd_certs_len;
798 __u32 pad3;
800 __u32 session_len;
801 __u32 pad4;
806 __u32 hdr_len;
807 __u32 pad0;
809 __u32 guest_len;
810 __u32 pad1;
812 __u32 trans_len;
813 __u32 pad2;
817 __u32 handle;
818 __u32 policy;
820 __u32 pdh_len;
821 __u32 pad0;
823 __u32 session_len;
824 __u32 pad1;
829 __u32 hdr_len;
830 __u32 pad0;
832 __u32 guest_len;
833 __u32 pad1;
835 __u32 trans_len;
836 __u32 pad2;
862 __u32 pad1;
886 __u32 conn_id;
888 __u32 flags;
889 __u32 padding[3];
949 __u32 id;
951 __u32 flags;