lio_read_device_mem64
return (lio_read_device_mem64(oct, base));
lio_read_device_mem64(oct,
console->addr = lio_read_device_mem64(oct, coreaddr);
console->input_base_addr = lio_read_device_mem64(oct, coreaddr);
lio_read_device_mem64(oct, coreaddr);
uint64_t lio_read_device_mem64(struct octeon_device *oct,