Linux kernel bug fix: fix platform_no_drv_owner.cocci warnings
Subsystem: drivers/char (drivers/char/ipmi/ipmb_dev_int.c)
Bug type: unknown, severity: low
Files changed: drivers/char/ipmi/ipmb_dev_int.c
Introduced by Asmaa Mnebhi on 2019-06-10 14:47:10 -0500; fixed by kbuild test robot on 2019-06-23 16:16:52 -0500 (lifetime: 13 days)