Other items incortex_a::registers::TCR_EL1::EPD1
pub const EnableTTBR1Walks: FieldValue<u64, Register>;