aarch64_arch_helpers::sysreg
pub fn write_daif(v: u64)
Write value to register daif
Interrupt Mask Bits