SYS_ZCR_EL12      118 arch/arm64/kvm/fpsimd.c 			*guest_zcr = read_sysreg_s(SYS_ZCR_EL12);
SYS_ZCR_EL12      381 arch/arm64/kvm/hyp/switch.c 		write_sysreg_s(vcpu->arch.ctxt.sys_regs[ZCR_EL1], SYS_ZCR_EL12);