version 1.33.2.4, 2010/08/11 22:52:57 |
version 1.33.2.5, 2010/10/09 03:31:58 |
Line 185 paddr_t mp_trampoline_paddr = MP_TRAMPOL |
|
Line 185 paddr_t mp_trampoline_paddr = MP_TRAMPOL |
|
static vaddr_t cmos_data_mapping; |
static vaddr_t cmos_data_mapping; |
struct cpu_info *cpu_starting; |
struct cpu_info *cpu_starting; |
|
|
void (*cpu_freq_init)(int) = NULL; |
|
struct sysctllog *cpu_freq_sysctllog = NULL; |
|
|
|
void cpu_hatch(void *); |
void cpu_hatch(void *); |
static void cpu_boot_secondary(struct cpu_info *ci); |
static void cpu_boot_secondary(struct cpu_info *ci); |
static void cpu_start_secondary(struct cpu_info *ci); |
static void cpu_start_secondary(struct cpu_info *ci); |