daif_bits          80 arch/arm64/kernel/process.c 	unsigned long daif_bits;
daif_bits          82 arch/arm64/kernel/process.c 	daif_bits = read_sysreg(daif);
daif_bits          83 arch/arm64/kernel/process.c 	write_sysreg(daif_bits | PSR_I_BIT, daif);
daif_bits          95 arch/arm64/kernel/process.c 	write_sysreg(daif_bits, daif);