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)
11 /* This is the primary cpu how should I boot? */
12 if (do_normal_boot()) {
19 asm volatile ("jmp __normal_image"
21 : "a" (bist) /* inputs */
25 asm volatile ("jmp __cpu_reset"
27 : "a"(bist) /* inputs */