106 ps3_probe(platform_t plat)  in ps3_probe()  argument
122 ps3_attach(platform_t plat)  in ps3_attach()  argument
135 ps3_mem_regions(platform_t plat, struct mem_region *phys, int *physsz,  in ps3_mem_regions()  argument
172 ps3_timebase_freq(platform_t plat, struct cpuref *cpuref)  in ps3_timebase_freq()  argument
187 ps3_smp_first_cpu(platform_t plat, struct cpuref *cpuref)  in ps3_smp_first_cpu()  argument
197 ps3_smp_next_cpu(platform_t plat, struct cpuref *cpuref)  in ps3_smp_next_cpu()  argument
210 ps3_smp_get_bsp(platform_t plat, struct cpuref *cpuref)  in ps3_smp_get_bsp()  argument
220 ps3_smp_start_cpu(platform_t plat, struct pcpu *pc)  in ps3_smp_start_cpu()  argument
242 ps3_smp_topo(platform_t plat)  in ps3_smp_topo()  argument
249 ps3_reset(platform_t plat)  in ps3_reset()  argument
255 ps3_real_maxaddr(platform_t plat)  in ps3_real_maxaddr()  argument