3 #include <device/pci_def.h>
4 #include <device/pci_ids.h>
6 #include "arch/romcc_io.h"
7 #include "pc80/mc146818rtc_early.c"
9 static unsigned long main(unsigned long bist)
12 /* This is the primary cpu how should I boot? */
13 if (do_normal_boot()) {
20 asm volatile ("jmp __normal_image"
22 : "a" (bist) /* inputs */
26 asm volatile ("jmp __cpu_reset"
28 : "a"(bist) /* inputs */