__hal_serial_mem_read64
u64 __hal_serial_mem_read64(xge_hal_device_t *hldev, u64 *reg);
(void) __hal_serial_mem_read64(hldev, &bar0->dtx_control);
(void) __hal_serial_mem_read64(hldev, &bar0->dtx_control);
(void) __hal_serial_mem_read64(hldev, &bar0->dtx_control);
val64 = __hal_serial_mem_read64(hldev, &bar0->mdio_control);
val64 = __hal_serial_mem_read64(hldev, &bar0->mdio_control);
val64 = __hal_serial_mem_read64(hldev, &bar0->mdio_control);
val64 = __hal_serial_mem_read64(hldev, &bar0->mdio_control);
val64 = __hal_serial_mem_read64(hldev, &bar0->mdio_control);
val64 = __hal_serial_mem_read64(hldev, &bar0->i2c_control);
val64 = __hal_serial_mem_read64(hldev, &bar0->i2c_control);