Messages in this thread | | | Subject | Re: [RFC] Splitting kernel headers and deprecating __KERNEL__ | From | David Woodhouse <> | Date | Fri, 26 Nov 2004 14:33:14 +0000 |
| |
On Fri, 2004-11-26 at 14:19 +0000, Matthew Wilcox wrote: > On Fri, Nov 26, 2004 at 12:00:43PM +0000, David Woodhouse wrote: > > On Fri, 2004-11-26 at 11:58 +0000, David Howells wrote: > > > How about calling the interface headers "kapi*/" instead of "user*/". In case > > > you haven't guessed, "kapi" would be short for "kernel-api". > > > > I don't think that change really makes any difference. The nomenclature > > really isn't _that_ important. > > Indeed. We could also make this transparent to userspace by using a script > to copy the user-* headers to /usr/include. Something like this:
Indeed.
> If we really wanted to get fancy, we could also sed __u32 to uint32_t. > But that would probably cause more pain, confusion, hurt and bad feeling > than I'd ever want to be responsible for.
Also true. Let's just use the standard types in the first place and not screw around with having to fix it up later.
-- dwmw2
- To unsubscribe from this list: send the line "unsubscribe linux-kernel" in the body of a message to majordomo@vger.kernel.org More majordomo info at http://vger.kernel.org/majordomo-info.html Please read the FAQ at http://www.tux.org/lkml/
| |