/* Big exception to the "don't include kernel headers into userspace, which
* even potentially has different endianness and word sizes, since
/* Big exception to the "don't include kernel headers into userspace, which
* even potentially has different endianness and word sizes, since