30 ms·Afaik the kernel is built as C89 and uintptr_t was introduced in C99.by dxuh 5y agoAfaik the kernel is built as C89 and uintptr_t was introduced in C99.dataflow 5y agoDamn. I'd have they they could just typedef it manually, but interesting, thanks.caf 5y agoIt's not even about how the kernel is built. The userspace-side system call declarations need to be #include-able in C89 user code, so they can't use C99 types.