/qemu/include/hw/ipmi/