add debug data transfer registers (#3)

Author: ccbrown

src/registers.rs

@@ -26,6 +26,9 @@ mod csselr_el1;
 mod currentel;
 mod dacr32_el2;
 mod daif;
+mod dbgdtr_el0;
+mod dbgdtrrx_el0;
+mod dbgdtrtx_el0;
 mod elr_el1;
 mod elr_el2;
 mod elr_el3;
@@ -42,6 +45,7 @@ mod id_aa64mmfr2_el1;
 mod lr;
 mod mair_el1;
 mod mair_el2;
+mod mdccsr_el0;
 mod midr_el1;
 mod mpidr_el1;
 mod oslar_el1;
@@ -91,6 +95,9 @@ pub use csselr_el1::CSSELR_EL1;
 pub use currentel::CurrentEL;
 pub use dacr32_el2::DACR32_EL2;
 pub use daif::DAIF;
+pub use dbgdtr_el0::DBGDTR_EL0;
+pub use dbgdtrrx_el0::DBGDTRRX_EL0;
+pub use dbgdtrtx_el0::DBGDTRTX_EL0;
 pub use elr_el1::ELR_EL1;
 pub use elr_el2::ELR_EL2;
 pub use elr_el3::ELR_EL3;
@@ -107,6 +114,7 @@ pub use id_aa64mmfr2_el1::ID_AA64MMFR2_EL1;
 pub use lr::LR;
 pub use mair_el1::MAIR_EL1;
 pub use mair_el2::MAIR_EL2;
+pub use mdccsr_el0::MDCCSR_EL0;
 pub use midr_el1::MIDR_EL1;
 pub use mpidr_el1::MPIDR_EL1;
 pub use oslar_el1::OSLAR_EL1;

src/registers/dbgdtr_el0.rs

@@ -0,0 +1,58 @@
+// SPDX-License-Identifier: Apache-2.0 OR MIT
+//
+// Copyright (c) 2020-2022 by the author(s)
+//
+// Author(s):
+//   - Chris Brown <[email protected]>
+
+//! Debug Data Transfer Register, half-duplex
+//!
+//! Transfers 64 bits of data between the PE and an external debugger. Can transfer both ways using
+//! only a single register.
+
+use tock_registers::{
+    interfaces::{Readable, Writeable},
+    register_bitfields,
+};
+
+register_bitfields! {u64,
+    pub DBGDTR_EL0 [
+        /// Writes to this register set DTRRX to the value in this field and do not change RXfull.
+        ///
+        /// Reads of this register:
+        ///
+        ///   - If RXfull is set to 1, return the last value written to DTRTX.
+        ///   - If RXfull is set to 0, return an UNKNOWN value.
+        ///
+        /// After the read, RXfull is cleared to 0.
+        HighWord OFFSET(32) NUMBITS(32) [],
+
+        /// Writes to this register set DTRTX to the value in this field and set TXfull to 1.
+        ///
+        /// Reads of this register:
+        ///
+        ///   - If RXfull is set to 1, return the last value written to DTRRX.
+        ///   - If RXfull is set to 0, return an UNKNOWN value.
+        ///
+        /// After the read, RXfull is cleared to 0.
+        LowWord OFFSET(0) NUMBITS(32) []
+    ]
+}
+
+pub struct Reg;
+
+impl Readable for Reg {
+    type T = u64;
+    type R = DBGDTR_EL0::Register;
+
+    sys_coproc_read_raw!(u64, "DBGDTR_EL0", "x");
+}
+
+impl Writeable for Reg {
+    type T = u64;
+    type R = DBGDTR_EL0::Register;
+
+    sys_coproc_write_raw!(u64, "DBGDTR_EL0", "x");
+}
+
+pub const DBGDTR_EL0: Reg = Reg {};

src/registers/dbgdtrrx_el0.rs

@@ -0,0 +1,25 @@
+// SPDX-License-Identifier: Apache-2.0 OR MIT
+//
+// Copyright (c) 2020-2022 by the author(s)
+//
+// Author(s):
+//   - Chris Brown <[email protected]>
+
+//! Debug Data Transfer Register, Receive
+//!
+//! Transfers data from an external debugger to the PE. For example, it is used by a debugger
+//! transferring commands and data to a debug target. See DBGDTR_EL0 for additional architectural
+//! mappings. It is a component of the Debug Communications Channel.
+
+use tock_registers::interfaces::Readable;
+
+pub struct Reg;
+
+impl Readable for Reg {
+    type T = u64;
+    type R = ();
+
+    sys_coproc_read_raw!(u64, "DBGDTRRX_EL0", "x");
+}
+
+pub const DBGDTRRX_EL0: Reg = Reg {};

src/registers/dbgdtrtx_el0.rs

@@ -0,0 +1,25 @@
+// SPDX-License-Identifier: Apache-2.0 OR MIT
+//
+// Copyright (c) 2020-2022 by the author(s)
+//
+// Author(s):
+//   - Chris Brown <[email protected]>
+
+//! Debug Data Transfer Register, Transmit
+//!
+//! Transfers data from the PE to an external debugger. For example, it is used by a debug target
+//! to transfer data to the debugger. See DBGDTR_EL0 for additional architectural mappings. It is a
+//! component of the Debug Communication Channel.
+
+use tock_registers::interfaces::Writeable;
+
+pub struct Reg;
+
+impl Writeable for Reg {
+    type T = u64;
+    type R = ();
+
+    sys_coproc_write_raw!(u64, "DBGDTRTX_EL0", "x");
+}
+
+pub const DBGDTRTX_EL0: Reg = Reg {};

src/registers/mdccsr_el0.rs

@@ -0,0 +1,41 @@
+// SPDX-License-Identifier: Apache-2.0 OR MIT
+//
+// Copyright (c) 2020-2022 by the author(s)
+//
+// Author(s):
+//   - Chris Brown <[email protected]>
+
+//! Monitor DCC Status Register
+//!
+//! Transfers data from an external debugger to the PE. For example, it is used by a debugger
+//! transferring commands and data to a debug target. See DBGDTR_EL0 for additional architectural
+//! mappings. It is a component of the Debug Communications Channel.
+
+use tock_registers::{interfaces::Readable, register_bitfields};
+
+register_bitfields! {u64,
+    pub MDCCSR_EL0 [
+        /// DTRRX full. Read-only view of the equivalent bit in the EDSCR.
+        RXfull OFFSET(30) NUMBITS(1) [
+            NotFull = 0,
+            Full = 1
+        ],
+
+        /// DTRTX full. Read-only view of the equivalent bit in the EDSCR.
+        TXfull OFFSET(29) NUMBITS(1) [
+            NotFull = 0,
+            Full = 1
+        ]
+    ]
+}
+
+pub struct Reg;
+
+impl Readable for Reg {
+    type T = u64;
+    type R = MDCCSR_EL0::Register;
+
+    sys_coproc_read_raw!(u64, "MDCCSR_EL0", "x");
+}
+
+pub const MDCCSR_EL0: Reg = Reg {};