veer_el2/
machine_timer.rs

1// Licensed under the Apache License, Version 2.0 or the MIT License.
2// SPDX-License-Identifier: Apache-2.0 OR MIT
3// Copyright (c) 2024 Antmicro <www.antmicro.com>
4
5use kernel::hil::time::Freq32KHz;
6use kernel::utilities::StaticRef;
7use sifive::clint::ClintRegisters;
8
9pub const CLINT_BASE: StaticRef<ClintRegisters> =
10    unsafe { StaticRef::new(0x0200_0000 as *const ClintRegisters) };
11
12pub type Clint<'a> = sifive::clint::Clint<'a, Freq32KHz>;