1 files changed, 25 insertions, 0 deletions
diff --git a/src/registers/cntfrq_el0.rs b/src/registers/cntfrq_el0.rs
new file mode 100644
index 0000000..24c658d
--- /dev/null
+++ b/src/registers/cntfrq_el0.rs
@@ -0,0 +1,25 @@
+// SPDX-License-Identifier: Apache-2.0 OR MIT
+//
+// Copyright (c) 2018-2022 by the author(s)
+//
+// Author(s):
+//   - Andre Richter <andre.o.richter@gmail.com>
+
+//! Counter-timer Frequency register - EL0
+//!
+//! This register is provided so that software can discover the frequency of the system counter. It
+//! must be programmed with this value as part of system initialization. The value of the register
+//! is not interpreted by hardware.
+
+use tock_registers::interfaces::Readable;
+
+pub struct Reg;
+
+impl Readable for Reg {
+    type T = u64;
+    type R = ();
+
+    sys_coproc_read_raw!(u64, "CNTFRQ_EL0", "x");
+}
+
+pub const CNTFRQ_EL0: Reg = Reg {};