vmcore

Module monitor

Source

Structsยง

MonitorId
The ID used for signaling a monitored interrupt.
MonitorPage
Holds information about the monitor page and registered monitors.