vcpu_cp14        1677 arch/arm64/kvm/sys_regs.c 		vcpu_cp14(vcpu, r->reg) = p->regval;
vcpu_cp14        1680 arch/arm64/kvm/sys_regs.c 		p->regval = vcpu_cp14(vcpu, r->reg);