octeon_read_device_mem64
return octeon_read_device_mem64(oct, base);
octeon_read_device_mem64(oct,
console->addr = octeon_read_device_mem64(oct, coreaddr);
octeon_read_device_mem64(oct, coreaddr);
octeon_read_device_mem64(oct, coreaddr);
EXPORT_SYMBOL_GPL(octeon_read_device_mem64);
u64 octeon_read_device_mem64(struct octeon_device *oct, u64 core_addr);