cortex_a/registers/
tpidr_el0.rs

1// SPDX-License-Identifier: Apache-2.0 OR MIT
2//
3// Copyright (c) 2020-2022 by the author(s)
4//
5// Author(s):
6//   - Erik Verbruggen <erikjv@me.com>
7
8//! Read/Write Software Thread ID Register - EL0.
9//!
10//! Provides a location where software executing at EL0 can store thread identifying information,
11//! for OS management purposes.
12
13use tock_registers::interfaces::{Readable, Writeable};
14
15pub struct Reg;
16
17impl Readable for Reg {
18    type T = u64;
19    type R = ();
20
21    sys_coproc_read_raw!(u64, "TPIDR_EL0", "x");
22}
23
24impl Writeable for Reg {
25    type T = u64;
26    type R = ();
27
28    sys_coproc_write_raw!(u64, "TPIDR_EL0", "x");
29}
30
31pub const TPIDR_EL0: Reg = Reg {};