octeon_read_device_mem32
return octeon_read_device_mem32(oct, base);
octeon_read_device_mem32(oct,
oct->num_consoles = octeon_read_device_mem32(oct,
console->buffer_size = octeon_read_device_mem32(oct, coreaddr);
rd_idx = octeon_read_device_mem32(oct, console->addr +
wr_idx = octeon_read_device_mem32(oct, console->addr +
EXPORT_SYMBOL_GPL(octeon_read_device_mem32);
u32 octeon_read_device_mem32(struct octeon_device *oct, u64 core_addr);