blob: afdd538fde73a31df976c4652ca14390758cff86 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
|
#include <stdint.h>
#include <device/pci.h>
#include "mpc107.h"
void
wait_for_other_cpus(void)
{
}
unsigned long
this_processors_id(void)
{
uint32_t pic1;
struct device *dev;
if ((dev = dev_find_slot(0, 0)) == 0)
return 0;
pic1 = pci_read_config32(dev, MPC107_PIC1);
return (pic1 & MPC107_PIC1_CF_MP_ID) >> 14;
}
unsigned long
processor_index(unsigned long id)
{
return id;
}
void
startup_other_cpus(unsigned long *map)
{
}
|