tag	line	file	source code
CONST_PINF	25	kernel/FPU-emu/Reg_constant.h	extern FPU_REG CONST_PINF;
CONST_PINF	25	kernel/FPU-emu/reg_constant.h	extern FPU_REG CONST_PINF;