Symbol: FTYPE_INT
sys/arch/powerpc/fpu/fpu_emu.h
139
#define FTYPE_INT 0x00 /* data = 32-bit signed integer */
sys/arch/sparc/include/instr.h
445
#define FTYPE_INT 0 /* data = 32-bit signed integer */