ps3_repository_read_vuart_sysmgr_port  425 arch/powerpc/platforms/ps3/device-init.c 	result = ps3_repository_read_vuart_sysmgr_port(&port_number);
ps3_repository_read_vuart_sysmgr_port  251 arch/powerpc/platforms/ps3/platform.h int ps3_repository_read_vuart_sysmgr_port(unsigned int *port);