FPSID_ARCH_MASK
VFP_arch = (vfpsid & FPSID_ARCH_MASK) >> FPSID_ARCH_BIT;
if ((fpsid & FPSID_ARCH_MASK) == (1 << FPSID_ARCH_BIT)