version 1.2, 2007/10/16 15:03:20 |
version 1.3, 2007/10/16 18:33:40 |
|
|
*/ |
*/ |
#include <sys/types.h> |
#include <sys/types.h> |
#include <sys/device.h> |
#include <sys/device.h> |
#include <sys/mem.h> |
|
#include <libkern/printf.h> |
#include <libkern/printf.h> |
|
|
#include <sys/cpu.h> |
#include <dev/cpuvar.h> |
|
|
|
|
int cpu_attach(struct device *, uint32_t, uint8_t); |
int cpu_attach(struct device *, uint32_t, uint8_t); |
|
|
/* |
/* |
* Identify given CPU using cp15 (System Control Co-Processor) register 0 (ID) |
* Identify given CPU using cp15 (System Control Co-Processor) register 0 (ID) |
*/ |
*/ |
// uint32_t rd; |
uint32_t rd; |
|
|
/* store cp15 ID register into rd */ |
/* store cp15 ID register into rd */ |
// __asm __volatile("mrc p15 0, %0, c0, c0, 0" |
// __asm __volatile("mrc p15 0, %0, c0, c0, 0" |