Constant simics_api_sys::bindings::ARM_INT_VIRQ

pub const ARM_INT_VIRQ: u32 = 2;