Add support for use as Xen HVM BIOS.
[seabios.git] / src / util.h
index cb544321be67377dc46dee80e594b4571017e3e3..00433e28ded850a19328913bd81780299d80f570 100644 (file)
@@ -409,6 +409,7 @@ void coreboot_setup(void);
 void copy_pir(void *pos);
 void copy_mptable(void *pos);
 void copy_acpi_rsdp(void *pos);
+void copy_smbios(void *pos);
 
 // vgahooks.c
 extern int VGAbdf;