Home
last modified time | relevance | path

Searched refs:vfpid (Results 1 – 1 of 1) sorted by relevance

/arch/arm/kvm/
Dcoproc.c893 u32 vfpid = (id & KVM_REG_ARM_VFP_MASK); in vfp_get_reg() local
901 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() local
945 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()