Symbol: ps3_os_area_init
arch/powerpc/platforms/ps3/platform.h
55
void __init ps3_os_area_init(void);
arch/powerpc/platforms/ps3/setup.c
241
ps3_os_area_init();