aarch64_arch_helpers::sysop
pub fn at_s12e1r(v: u64)
Call at with type s12e1r
Stages 1 and 2 Non-secure EL1 read