6400 /* !: kernel lwp-private data */