src/include/cpu/cpu.h

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