superiotool: add detection and dump of Infineon SLB9635 TPM
[coreboot.git] / util / vgabios / helper_exec.c
index 3ec2c2362b354bc7c3ecc385777cba0813f6156e..73100d96f3c90346ae2c76932fcbe438cf6e68db 100644 (file)
@@ -14,7 +14,7 @@
  * in xf86EnableIO(). Otherwise we won't trap
  * on PIO.
  */
-#include <x86emu.h>
+#include <x86emu/x86emu.h>
 #include "helper_exec.h"
 #include "test.h"
 #include <sys/io.h>