#include <device/device.h>
#include <device/pci.h>
#include <string.h>
+#endif
+#ifndef __ROMCC__
#include <cpu/amd/microcode.h>
#endif
if (equivalent_processor_rev_id != 0) {
amd_update_microcode((void *) microcode_updates, equivalent_processor_rev_id);
} else {
- printk_debug("microcode: rev id not found. Skipping microcode patch!\n");
+ printk(BIOS_DEBUG, "microcode: rev id not found. Skipping microcode patch!\n");
}
}