Searched defs:__double_t (Results 1 - 4 of 4) sorted by relevance

/barrelfish-master/include/arch/aarch64/machine/
H A D_types.h59 typedef double __double_t; typedef
/barrelfish-master/include/arch/arm/machine/
H A D_types.h71 typedef double __double_t; typedef
/barrelfish-master/include/arch/x86_32/machine/
H A D_types.h81 typedef double __double_t; typedef
88 typedef long double __double_t; typedef
/barrelfish-master/include/arch/x86_64/machine/
H A D_types.h81 typedef double __double_t; typedef
88 typedef long double __double_t; typedef

Completed in 36 milliseconds