Searched refs:check_kernel (Results 1 – 2 of 2) sorted by relevance
221 CK(check_kernel) /* this is overwriting stuff from smatch_extra_late */
443 void check_kernel(int id) in check_kernel() function