guest_intr_state_t

Data type for guest interrupt states

Synopsis:

#include <qvm/types.h>
typedef uint32_t guest_intr_state_t;

Description:

The guest_intr_state_t data type is used to store GIS_* flags which are used in a call to guest_intr_signal().

Page updated: