Lines Matching refs:vki_uint32_t

96     vki_uint32_t ssidref;
98     vki_uint32_t flags;
104     vki_uint32_t flags;
111     vki_uint32_t nr_online_vcpus;
112     vki_uint32_t max_vcpu_id;
113     vki_uint32_t ssidref;
115     vki_uint32_t cpupool;
123     vki_uint32_t flags;
130     vki_uint32_t nr_online_vcpus;
131     vki_uint32_t max_vcpu_id;
132     vki_uint32_t ssidref;
134     vki_uint32_t cpupool;
142     vki_uint32_t flags;
150     vki_uint32_t nr_online_vcpus;
151     vki_uint32_t max_vcpu_id;
152     vki_uint32_t ssidref;
154     vki_uint32_t cpupool;
174     vki_uint32_t  vcpu;              /* IN */
179     vki_uint32_t fault_count;
180     vki_uint32_t dirty_count;
186     vki_uint32_t op; /* IN */
199     vki_uint32_t mode;
206     vki_uint32_t mb;
218     vki_uint32_t              vcpu;                  /* IN */
224     vki_uint32_t vcpu;
230     vki_uint32_t cpu;                 /* current mapping   */
234     vki_uint32_t sched_id;  /* VKI_XEN_SCHEDULER_* */
239     vki_uint32_t cmd;       /* VKI_XEN_DOMCTL_SCHEDOP_* */
247             vki_uint32_t extratime;
248             vki_uint32_t weight;
261     vki_uint32_t max;           /* maximum number of vcpus */
273   vki_uint32_t input[2];
274   vki_uint32_t eax;
275   vki_uint32_t ebx;
276   vki_uint32_t ecx;
277   vki_uint32_t edx;
281     vki_uint32_t tsc_mode;
282     vki_uint32_t gtsc_khz;
283     vki_uint32_t incarnation;
284     vki_uint32_t pad;
291     vki_uint32_t size; /* IN/OUT size of buffer */
303     vki_uint32_t         vcpu;
310     vki_uint32_t size;
314     vki_uint32_t max_port;
323     vki_uint32_t cmd;
324     vki_uint32_t interface_version; /* XEN_DOMCTL_INTERFACE_VERSION */