diff --git a/sys/compat/x86bios/x86bios.c b/sys/compat/x86bios/x86bios.c
index a9fe257d5333..b9be658680e9 100644
--- a/sys/compat/x86bios/x86bios.c
+++ b/sys/compat/x86bios/x86bios.c
@@ -194,7 +194,7 @@ uint32_t
 x86bios_get_intr(int intno)
 {
 
-	return (readl(x86bios_offset(intno * 4)));
+	return (readl(BIOS_PADDRTOVADDR(intno * 4)));
 }
 
 void