pub type VirtualInterrupt = Interrupt<VirtualInterruptKind>;
pub struct VirtualInterrupt(/* private fields */);