pub const NRF_ERROR_SOC_PPI_INVALID_CHANNEL: u32 = 8200;