Symbol: FTYPE_DBL
sys/arch/m88k/m88k/fpu.h
27
#define FTYPE_DBL 1
sys/arch/sparc64/include/instr.h
501
#define FTYPE_DBL 2 /* data = 64-bit double */