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: