4 #include <device/pci_def.h>
5 #include <device/pci_ids.h>
7 #include "arch/romcc_io.h"
8 #include "pc80/mc146818rtc_early.c"
10 static unsigned long main(unsigned long bist)
13 /* This is the primary cpu how should I boot? */
14 if (do_normal_boot()) {
21 asm volatile ("jmp __normal_image"
23 : "a" (bist) /* inputs */
27 asm volatile ("jmp __cpu_reset"
29 : "a"(bist) /* inputs */