src/include/cpu/cpu.h

   1 #ifndef CPU_CPU_H
   2 #define CPU_CPU_H
   3
   4 struct device;
   5 struct bus;
   6 #include <arch/cpu.h>
   7
   8 void cpu_initialize(void);
   9 void initialize_cpus(struct bus *cpu_bus);
  10
  11 #define __cpu_driver __attribute__ ((used,__section__(".rodata.cpu_driver")))
  12 /** start of compile time generated pci driver array */
  13 extern struct cpu_driver cpu_drivers[];
  14 /** end of compile time generated pci driver array */
  15 extern struct cpu_driver ecpu_drivers[];
  16
  17 #endif /* CPU_CPU_H */