xref: /linux-6.15/drivers/char/ipmi/ipmi_devintf.c (revision 19fbd6b2)