vfpid            1088 arch/arm/kvm/coproc.c 	u32 vfpid = (id & KVM_REG_ARM_VFP_MASK);
vfpid            1096 arch/arm/kvm/coproc.c 	if (vfpid < num_fp_regs()) {
vfpid            1099 arch/arm/kvm/coproc.c 		return reg_to_user(uaddr, &vcpu->arch.ctxt.vfp.fpregs[vfpid],
vfpid            1107 arch/arm/kvm/coproc.c 	switch (vfpid) {
vfpid            1132 arch/arm/kvm/coproc.c 	u32 vfpid = (id & KVM_REG_ARM_VFP_MASK);
vfpid            1140 arch/arm/kvm/coproc.c 	if (vfpid < num_fp_regs()) {
vfpid            1143 arch/arm/kvm/coproc.c 		return reg_from_user(&vcpu->arch.ctxt.vfp.fpregs[vfpid],
vfpid            1151 arch/arm/kvm/coproc.c 	switch (vfpid) {