cptr_el2          128 arch/arm64/kvm/hyp/switch.c 	write_sysreg(val, cptr_el2);
cptr_el2          177 arch/arm64/kvm/hyp/switch.c 	write_sysreg(CPTR_EL2_DEFAULT, cptr_el2);
cptr_el2          352 arch/arm64/kvm/hyp/switch.c 		write_sysreg(read_sysreg(cptr_el2) & ~(u64)CPTR_EL2_TFP,
cptr_el2          353 arch/arm64/kvm/hyp/switch.c 			     cptr_el2);