riscv/csr/
pmpaddr.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 Tock Contributors 2022.
4
5use kernel::utilities::registers::register_bitfields;
6
7// Default to 32 bit if compiling for debug/testing.
8#[cfg(not(target_arch = "riscv64"))]
9register_bitfields![usize,
10    pub pmpaddr [
11        addr OFFSET(0) NUMBITS(crate::XLEN) []
12    ]
13];
14
15#[cfg(target_arch = "riscv64")]
16register_bitfields![usize,
17    pub pmpaddr [
18        addr OFFSET(0) NUMBITS(crate::XLEN - 10) []
19    ]
20];