xref: /linux/drivers/char/ipmi/built-in.a

!<thin>
//                                              30        `
ipmi_dmi.o/
ipmi_plat_data.o/
/0              0           0     0     644     33384     `
/12             0           0     0     644     27224     `