Function aarch64_arch_helpers::sysreg::write_afsr1_el2

pub fn write_afsr1_el2(v: u64)

Write value to register afsr1_el2

    Auxiliary Fault Status Register 1 (EL2)