Searched defs:int32_t (Results 1 - 8 of 8) sorted by relevance

/barrelfish-2018-10-04/include/arch/aarch64/arch/
H A Dstdint.h84 typedef int int32_t; typedef
/barrelfish-2018-10-04/include/arch/alpha/arch/
H A Dstdint.h3 typedef int int32_t; typedef
/barrelfish-2018-10-04/include/arch/arm/arch/
H A Dstdint.h84 typedef int int32_t; typedef
/barrelfish-2018-10-04/include/arch/mips64/arch/
H A Dstdint.h81 typedef int int32_t; typedef
/barrelfish-2018-10-04/include/arch/powerpc64/arch/
H A Dstdint.h81 typedef int int32_t; typedef
/barrelfish-2018-10-04/include/arch/x86_32/arch/
H A Dstdint.h84 typedef int int32_t; typedef
/barrelfish-2018-10-04/include/arch/x86_64/arch/
H A Dstdint.h87 typedef int int32_t; typedef
/barrelfish-2018-10-04/include/sys/
H A D_stdint.h44 typedef __int32_t int32_t; typedef

Completed in 49 milliseconds