src/mainboard/amd/quartet/mainboard.c

   1 #include <console/console.h>
   2 #include <device/device.h>
   3 #include <device/pci.h>
   4 #include <device/pci_ids.h>
   5 #include <device/pci_ops.h>
   6
   7
   8 unsigned long initial_apicid[MAX_CPUS] =
   9 {
  10         0, 1, 2, 3
  11 };