typecheck.h   14 include/linux/irqflags.h #include <linux/typecheck.h>
typecheck.h   12 include/linux/kernel.h #include <linux/typecheck.h>
typecheck.h   49 include/linux/spinlock.h #include <linux/typecheck.h>