Re: [RFC] Splitting kernel headers and deprecating __KERNEL__

Krzysztof Halasa
2004-12-16T01:21:06Z

Werner Almesberger <wa@almesberger.net> writes:

> That's not what should be happening there: if the kernel only uses
> __u32 and friends but never uint32_t et al. at an interface,
>
> typedef __u32 uint32_t;
>
> should be a perfectly safe thing for glibc's stdint.h to do.

Aaah, right. I thought about #define there, it would be the other way
around and thus wrong. Looks like I have to read my mail a bit earlier.
--
Krzysztof Halasa