diff --git a/src/device/pci_rom.c b/src/device/pci_rom.c
index debefb2..46bf114 100644
--- a/src/device/pci_rom.c
+++ b/src/device/pci_rom.c
@@ -219,7 +219,7 @@
 }
 
 static unsigned long
-pci_rom_acpi_fill_vfct(const struct device *device, acpi_vfct_t *vfct_struct,
+ati_rom_acpi_fill_vfct(const struct device *device, acpi_vfct_t *vfct_struct,
 		       unsigned long current)
 {
 	acpi_vfct_image_hdr_t *header = &vfct_struct->image_hdr;
@@ -280,7 +280,7 @@
 
 		current = ALIGN_UP(current, 8);
 		vfct = (acpi_vfct_t *)current;
-		acpi_create_vfct(device, vfct, pci_rom_acpi_fill_vfct);
+		acpi_create_vfct(device, vfct, ati_rom_acpi_fill_vfct);
 		if (vfct->header.length) {
 			printk(BIOS_DEBUG, "ACPI:    * VFCT at %lx\n", current);
 			current += vfct->header.length;