We can use long int on sparcv9, but on sparc64, we must match the int type used by the kernel (and not long int, as in POSIX).