lio_read_device_mem32
return (lio_read_device_mem32(oct, base));
lio_read_device_mem32(oct,
oct->num_consoles = lio_read_device_mem32(oct,
console->buffer_size = lio_read_device_mem32(oct, coreaddr);
rd_idx = lio_read_device_mem32(oct, console->addr +
wr_idx = lio_read_device_mem32(oct, console->addr +
uint32_t lio_read_device_mem32(struct octeon_device *oct,