3264 /* k: Kernel trace points */