Function aarch64_arch_helpers::sysreg::read_afsr1_el2

pub fn read_afsr1_el2() -> u64

Read value from register afsr1_el2

    Auxiliary Fault Status Register 1 (EL2)