pub const VMBUS_PPI_OFFSET: u32 = 2;
VMBus PPI offset for the DT interrupts property. Canonical INTID is DEFAULT_VMBUS_PPI (18) in openvmm_defs.
interrupts