Searched defs:__time_t (Results 1 - 4 of 4) sorted by last modified time

/barrelfish-master/include/arch/x86_64/machine/
H A D_types.h108 typedef __int64_t __time_t; /* time()... */ typedef
117 typedef __int32_t __time_t; typedef
/barrelfish-master/include/arch/x86_32/machine/
H A D_types.h108 typedef __int64_t __time_t; /* time()... */ typedef
117 typedef __int32_t __time_t; typedef
/barrelfish-master/include/arch/arm/machine/
H A D_types.h89 typedef __int64_t __time_t; /* time()... */ typedef
/barrelfish-master/include/arch/aarch64/machine/
H A D_types.h77 typedef __int64_t __time_t; /* time()... */ typedef

Completed in 70 milliseconds