windows-7-sources/Windows/System32/drivers/acpipmi.sys/1651550.h