CPTR_EL2_DEFAULT  121 arch/arm64/kvm/hyp/switch.c 	val = CPTR_EL2_DEFAULT;
CPTR_EL2_DEFAULT  177 arch/arm64/kvm/hyp/switch.c 	write_sysreg(CPTR_EL2_DEFAULT, cptr_el2);