Sebastian Huber 5f02a57478 score: Change _Timecounter_Time_uptime to int32_t ...

Move basic timecounter API shared with BSD network stack to
<machine/_timecounter.h>.

Update #3185.

2017-11-09 08:12:12 +01:00

..

_kernel_cpuset.h

…

_kernel_param.h

…

_kernel_time.h

score: Change _Timecounter_Time_uptime to int32_t

2017-11-09 08:12:12 +01:00

_kernel_types.h

…

_timecounter.h

score: Change _Timecounter_Time_uptime to int32_t

2017-11-09 08:12:12 +01:00