guest_intr_level_t
Data type for storing the level of an interrupt line
Synopsis:
#include <qvm/types.h>typedef uint32_t guest_intr_level_t;Description:
The guest_intr_level_t data type is returned by guest_intr_get_level() to report the level of an interrupt line.
Page updated:
