CHECK: Prefer kernel type 'u32' over 'uint32_t'
CHECK: extern prototypes should be avoided in .h files