aarch64_cpu/registers/
apdbkeylo_el1.rs

1// SPDX-License-Identifier: Apache-2.0 OR MIT
2//
3// Copyright (c) 2023 Amazon.com, Inc. or its affiliates.
4//
5// Author(s):
6//   - Ugur Usug <ugurus@amazon.com>
7
8//! Pointer Authentication Key B for Data Low - EL1
9//!
10//! Holds bits[63:0] of key B used for authentication of data pointer values.
11
12use tock_registers::interfaces::{Readable, Writeable};
13
14pub struct Reg;
15
16impl Readable for Reg {
17    type T = u64;
18    type R = ();
19
20    sys_coproc_read_raw!(u64, "APDBKeyLo_EL1", "x");
21}
22
23impl Writeable for Reg {
24    type T = u64;
25    type R = ();
26
27    sys_coproc_write_raw!(u64, "APDBKeyLo_EL1", "x");
28}
29
30pub const APDBKEYLO_EL1: Reg = Reg {};