src/mainboard/amd/quartet/mainboard.c


1
2
3
4
5
6
7
8
9
10
11

#include <console/console.h>
#include <device/device.h>
#include <device/pci.h>
#include <device/pci_ids.h>
#include <device/pci_ops.h>


unsigned long initial_apicid[MAX_CPUS] =
{
	0, 1, 2, 3
};