Searched refs:vfpid (Results 1 – 1 of 1) sorted by relevance
1002 u32 vfpid = (id & KVM_REG_ARM_VFP_MASK); in vfp_get_reg() local1010 if (vfpid < num_fp_regs()) { in vfp_get_reg()1013 return reg_to_user(uaddr, &vcpu->arch.ctxt.vfp.fpregs[vfpid], in vfp_get_reg()1021 switch (vfpid) { in vfp_get_reg()1046 u32 vfpid = (id & KVM_REG_ARM_VFP_MASK); in vfp_set_reg() local1054 if (vfpid < num_fp_regs()) { in vfp_set_reg()1057 return reg_from_user(&vcpu->arch.ctxt.vfp.fpregs[vfpid], in vfp_set_reg()1065 switch (vfpid) { in vfp_set_reg()