Skip to main content

DEFAULT_VMBUS_PPI

openvmm_defs::config

Constant DEFAULT_VMBUS_PPI 

Source 
pub const DEFAULT_VMBUS_PPI: u32 = 18;
Expand description

Default VMBus PPI (GIC INTID). PPI 2 = INTID 16 + 2 = 18.