db: make a file kernel.return_fixes for updating return values
[smatch.git] / smatch_data / db / kernel.return_fixes
blob56736cd6c0cb561132d75ffa653a2891d9700a66
1 i2c_master_recv s32min-s32max 1-s32max[<=$2]
2 hid_hw_output_report s32min-s32max 1-s32max[<=$2]
3 _regmap_read s32min-(-1),1-s32max (-4095)-(-1)