pub const NRF_CC3XX_PLATFORM_ERROR_KDR_INVALID_PUSH: i32 = -28704;