/*
 * IPMI SMBIOS firmware handling
 *
 * Copyright (c) 2015,2016 Corey Minyard, MontaVista Software, LLC
 *
 * This work is licensed under the terms of the GNU GPL, version 2 or later.
 * See the COPYING file in the top-level directory.
 */

#ifndef QEMU_SMBIOS_IPMI_H
#define QEMU_SMBIOS_IPMI_H

void smbios_build_type_38_table(void);

#endif /* QEMU_SMBIOS_IPMI_H */