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