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:
