Searched refs:vfpid (Results 1 – 1 of 1) sorted by relevance
1086 u32 vfpid = (id & KVM_REG_ARM_VFP_MASK); in vfp_get_reg() local1094 if (vfpid < num_fp_regs()) { in vfp_get_reg()1097 return reg_to_user(uaddr, &vcpu->arch.ctxt.vfp.fpregs[vfpid], in vfp_get_reg()1105 switch (vfpid) { in vfp_get_reg()1130 u32 vfpid = (id & KVM_REG_ARM_VFP_MASK); in vfp_set_reg() local1138 if (vfpid < num_fp_regs()) { in vfp_set_reg()1141 return reg_from_user(&vcpu->arch.ctxt.vfp.fpregs[vfpid], in vfp_set_reg()1149 switch (vfpid) { in vfp_set_reg()
