/* inclusion in the kernel currently depends on SYSCALL_DEBUG */