ps3_repository_read_vuart_sysmgr_port
result = ps3_repository_read_vuart_sysmgr_port(&port_number);
int __init ps3_repository_read_vuart_sysmgr_port(unsigned int *port);