CHECK: Comparison to NULL could be written "nmi_prog"
CHECK: Prefer using the BIT macro
CHECK: Prefer using the BIT_ULL macro
ERROR: space required after that ',' (ctx:VxV)
WARNING: line length of 108 exceeds 80 columns
WARNING: line length of 112 exceeds 80 columns
WARNING: line length of 120 exceeds 80 columns
WARNING: line length of 121 exceeds 80 columns
WARNING: line length of 122 exceeds 80 columns
WARNING: line length of 82 exceeds 80 columns
WARNING: line length of 83 exceeds 80 columns
WARNING: line length of 84 exceeds 80 columns
WARNING: line length of 85 exceeds 80 columns
WARNING: line length of 87 exceeds 80 columns
WARNING: line length of 90 exceeds 80 columns
WARNING: line length of 93 exceeds 80 columns
WARNING: line length of 94 exceeds 80 columns
WARNING: static const char * array should probably be static const char * const