linux_dsm_epyc7002/drivers/char/ipmi/ipmi_dmi.h