CHECK: Prefer kernel type 'u16' over 'u_int16_t' WARNING: Non-standard signature: Requested-by: