ruspiro_arch_aarch64::register::el2::ttbr0_el2
pub fn get() -> u64
Read the raw register contents using the appropriate assembly