/ktsan

Kernel Thread Sanitizer, a fast data race detector for the Linux kernel