FPSID_ARCH_BIT
#define FPSID_ARCH_MASK (0xF << FPSID_ARCH_BIT)
#define FPSID_CPUID_ARCH_MASK (0x7F << FPSID_ARCH_BIT)
VFP_arch = (vfpsid & FPSID_ARCH_MASK) >> FPSID_ARCH_BIT;
if ((fpsid & FPSID_ARCH_MASK) == (1 << FPSID_ARCH_BIT)
VFP_arch >>= FPSID_ARCH_BIT;