ruspiro_register::system::aarch64::ttbr1_el1
pub fn get() -> u64
Read the raw register contents using the appropriate assembly