Lines Matching refs:vki_uint8_t
267 vki_uint8_t online; /* currently online (not hotplugged)? */
268 vki_uint8_t blocked; /* blocked waiting for an event? */
269 vki_uint8_t running; /* currently scheduled on its CPU? */
312 vki_uint8_t pirq;
313 vki_uint8_t allow_access; /* flag to specify enable/disable of IRQ access */
319 vki_uint8_t allow_access; /* allow (!0) or deny (0) access to range? */
325 vki_uint8_t allow_access; /* IN */
390 vki_uint8_t syscall32_disables_events;
391 vki_uint8_t sysenter_disables_events;
407 vki_uint8_t syscall32_disables_events;
408 vki_uint8_t sysenter_disables_events;
445 vki_uint8_t access_required; /* IN */
535 vki_uint8_t pad[128];