fix new vgaarb interface

Signed-off-by: Tiago Vignatti <tiago.vignatti@nokia.com>

1 files changed, 4 insertions, 4 deletions

diff --git a/posttool.c b/posttool.c
index 8d2416c..f0df3f2 100644
--- a/posttool.c
+++ b/posttool.c
@@ -23,7 +23,7 @@ version 2
 #include <sys/mman.h>
 #include <errno.h>
 
-#include <x86.h>
+#include <libx86.h>
 
 #define access_ptr_register(reg_frame,reg) (reg_frame -> reg)
 #define access_seg_register(reg_frame,es) reg_frame.es
@@ -112,10 +112,10 @@ int do_vga_post(struct pci_device *dev)
 	int ret;
 
 	pci_device_vgaarb_set_target(dev);
-	pci_device_vgaarb_lock(dev);
+	pci_device_vgaarb_lock();
 	ret = pci_device_read_rom(dev, romfile);
 	if (ret) {
-		pci_device_vgaarb_unlock(dev);
+		pci_device_vgaarb_unlock();
 		fprintf(stderr,"rom read returned %d\n");
 		return 0;
 	}
@@ -129,7 +129,7 @@ int do_vga_post(struct pci_device *dev)
 		return error;
 	}
 	fprintf(stderr,"attempting arb + post off %d\n", pci_id);
-	pci_device_vgaarb_unlock(dev);
+	pci_device_vgaarb_unlock();
 }
 
 int do_post(void)