Searched refs:vfpid (Results 1 – 1 of 1) sorted by relevance
1088 u32 vfpid = (id & KVM_REG_ARM_VFP_MASK); in vfp_get_reg() local1096 if (vfpid < num_fp_regs()) { in vfp_get_reg()1099 return reg_to_user(uaddr, &vcpu->arch.ctxt.vfp.fpregs[vfpid], in vfp_get_reg()1107 switch (vfpid) { in vfp_get_reg()1132 u32 vfpid = (id & KVM_REG_ARM_VFP_MASK); in vfp_set_reg() local1140 if (vfpid < num_fp_regs()) { in vfp_set_reg()1143 return reg_from_user(&vcpu->arch.ctxt.vfp.fpregs[vfpid], in vfp_set_reg()1151 switch (vfpid) { in vfp_set_reg()
