Lines Matching refs:vki_uint32_t
126 vki_uint32_t ssidref;
128 vki_uint32_t flags;
134 vki_uint32_t flags;
141 vki_uint32_t nr_online_vcpus;
142 vki_uint32_t max_vcpu_id;
143 vki_uint32_t ssidref;
145 vki_uint32_t cpupool;
153 vki_uint32_t flags;
160 vki_uint32_t nr_online_vcpus;
161 vki_uint32_t max_vcpu_id;
162 vki_uint32_t ssidref;
164 vki_uint32_t cpupool;
172 vki_uint32_t flags;
180 vki_uint32_t nr_online_vcpus;
181 vki_uint32_t max_vcpu_id;
182 vki_uint32_t ssidref;
184 vki_uint32_t cpupool;
206 vki_uint32_t vcpu; /* IN */
211 vki_uint32_t vcpu; /* IN */
214 vki_uint32_t flags; /* IN */
220 vki_uint32_t fault_count;
221 vki_uint32_t dirty_count;
227 vki_uint32_t op; /* IN */
240 vki_uint32_t mode;
247 vki_uint32_t mb;
259 vki_uint32_t vcpu; /* IN */
265 vki_uint32_t vcpu;
271 vki_uint32_t cpu; /* current mapping */
275 vki_uint32_t sched_id; /* VKI_XEN_SCHEDULER_* */
281 vki_uint32_t cmd; /* VKI_XEN_DOMCTL_SCHEDOP_* */
289 vki_uint32_t extratime;
290 vki_uint32_t weight;
300 vki_uint32_t period;
301 vki_uint32_t budget;
307 vki_uint32_t max; /* maximum number of vcpus */
323 vki_uint32_t first_port; /* IN */
324 vki_uint32_t nr_ports; /* IN */
337 vki_uint32_t input[2];
338 vki_uint32_t eax;
339 vki_uint32_t ebx;
340 vki_uint32_t ecx;
341 vki_uint32_t edx;
345 vki_uint32_t tsc_mode;
346 vki_uint32_t gtsc_khz;
347 vki_uint32_t incarnation;
348 vki_uint32_t pad;
355 vki_uint32_t size; /* IN/OUT size of buffer */
362 vki_uint32_t type; /* IN */
363 vki_uint32_t instance; /* IN */
376 vki_uint32_t type; /* IN */
380 vki_uint32_t vcpu; /* IN */
384 vki_uint32_t size;
397 vki_uint32_t vcpu; /* IN */
401 vki_uint32_t size;
418 vki_uint32_t vcpu;
425 vki_uint32_t size;
429 vki_uint32_t machine_sbdf; /* machine PCI ID of assigned device */
433 vki_uint32_t op; /* IN */
434 vki_uint32_t vcpu; /* IN */
439 vki_uint32_t op; /* IN */
440 vki_uint32_t mode; /* IN */
441 vki_uint32_t port; /* OUT */
449 vki_uint32_t max_port;
458 vki_uint32_t index;
459 vki_uint32_t reserved;
466 vki_uint32_t vcpu;
467 vki_uint32_t msr_count;
472 vki_uint32_t cmd;
473 vki_uint32_t interface_version; /* XEN_DOMCTL_INTERFACE_VERSION */