// Licensed under the Apache License, Version 2.0 or the MIT License.
// SPDX-License-Identifier: Apache-2.0 OR MIT
// Copyright Tock Contributors 2022.

pub const USBD: u32 = 39;
#[allow(dead_code)]
pub const UART1: u32 = 40;
#[allow(dead_code)]
pub const QSPI: u32 = 41;
#[allow(dead_code)]
pub const CRYPTOCELL: u32 = 42;
#[allow(dead_code)]
pub const PWM3: u32 = 45;
#[allow(dead_code)]
pub const SPIM3: u32 = 47;