[PATCH 41/45] timecounter: Use uint32_t instead of u_int

[Gedare Bloom]

On Fri, May 15, 2015 at 7:47 AM, Sebastian Huber
<sebastian.huber at embedded-brains.de> wrote:
> From: Alexander Krutwig <alexander.krutwig at embedded-brains.de>
>
> FreeBSD assumes that u_int is a 32-bit integer type.  This is wrong for
> some 16-bit targets supported by RTEMS.
>
> Update #2271.
> ---
Can we undef u_int and redefine it to uint32_t instead? This will be a
more localized RTEMS-specific change.