1 files changed, 31 insertions, 0 deletions
diff --git a/src/registers/tpidr_el1.rs b/src/registers/tpidr_el1.rs
new file mode 100644
index 0000000..7819a4e
--- /dev/null
+++ b/src/registers/tpidr_el1.rs
@@ -0,0 +1,31 @@
+// SPDX-License-Identifier: Apache-2.0 OR MIT
+//
+// Copyright (c) 2020-2022 by the author(s)
+//
+// Author(s):
+//   - Erik Verbruggen <erikjv@me.com>
+
+//! Software Thread ID Register - EL1.
+//!
+//! Provides a location where software executing at EL1 can store thread identifying information,
+//! for OS management purposes.
+
+use tock_registers::interfaces::{Readable, Writeable};
+
+pub struct Reg;
+
+impl Readable for Reg {
+    type T = u64;
+    type R = ();
+
+    sys_coproc_read_raw!(u64, "TPIDR_EL1", "x");
+}
+
+impl Writeable for Reg {
+    type T = u64;
+    type R = ();
+
+    sys_coproc_write_raw!(u64, "TPIDR_EL1", "x");
+}
+
+pub const TPIDR_EL1: Reg = Reg {};