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

Provide kernel space headers used by Newlib

2017-06-07 12:57:27 +02:00

_kernel_param.h

Provide kernel space headers used by Newlib

2017-06-07 12:57:27 +02:00

_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