octeon_console_read
static int octeon_console_read(struct octeon_device *oct, u32 console_num,
octeon_console_read(oct, console_num, console_buffer,
octeon_console_read(oct,