powerpc/ps3/platform_ps3.c

59 static int ps3_probe(platform_t);
60 static int ps3_attach(platform_t);
61 static void ps3_mem_regions(platform_t, struct mem_region *phys, int *physsz,
63 static vm_offset_t ps3_real_maxaddr(platform_t);
64 static u_long ps3_timebase_freq(platform_t, struct cpuref *cpuref);
66 static int ps3_smp_first_cpu(platform_t, struct cpuref *cpuref);
67 static int ps3_smp_next_cpu(platform_t, struct cpuref *cpuref);
68 static int ps3_smp_get_bsp(platform_t, struct cpuref *cpuref);
69 static int ps3_smp_start_cpu(platform_t, struct pcpu *cpu);
70 static struct cpu_group *ps3_smp_topo(platform_t);
72 static void ps3_reset(platform_t);
104 ps3_probe(platform_t plat)
111 ps3_attach(platform_t plat)
124 ps3_mem_regions(platform_t plat, struct mem_region *phys, int *physsz,
161 ps3_timebase_freq(platform_t plat, struct cpuref *cpuref)
176 ps3_smp_first_cpu(platform_t plat, struct cpuref *cpuref)
186 ps3_smp_next_cpu(platform_t plat, struct cpuref *cpuref)
199 ps3_smp_get_bsp(platform_t plat, struct cpuref *cpuref)
209 ps3_smp_start_cpu(platform_t plat, struct pcpu *pc)
231 ps3_smp_topo(platform_t plat)
238 ps3_reset(platform_t plat)
244 ps3_real_maxaddr(platform_t plat)