Searched refs:vfpid (Results 1 – 1 of 1) sorted by relevance
893 u32 vfpid = (id & KVM_REG_ARM_VFP_MASK); in vfp_get_reg() local901 if (vfpid < num_fp_regs()) { in vfp_get_reg()904 return reg_to_user(uaddr, &vcpu->arch.vfp_guest.fpregs[vfpid], in vfp_get_reg()912 switch (vfpid) { in vfp_get_reg()937 u32 vfpid = (id & KVM_REG_ARM_VFP_MASK); in vfp_set_reg() local945 if (vfpid < num_fp_regs()) { in vfp_set_reg()948 return reg_from_user(&vcpu->arch.vfp_guest.fpregs[vfpid], in vfp_set_reg()956 switch (vfpid) { in vfp_set_reg()