Constant sel4_sys::invocation_label::ARMVCPUAckVPPI

pub const ARMVCPUAckVPPI: u32 = 56u32;