Symbol: ARMREG_READ_INLINE2
sys/arch/arm/include/armreg.h
744
#define ARMREG_READ_INLINE2(name, __insnstring) \
sys/arch/arm/include/armreg.h
775
ARMREG_READ_INLINE2(fpsid, ".fpu vfp\n vmrs\t%0, fpsid") /* VFP System ID */