ECM_SYSTEM_TIME_HIGH
iowrite32(system_time >> 32, adapter->addr + ECM_SYSTEM_TIME_HIGH);
high = ioread32(adapter->addr + ECM_SYSTEM_TIME_HIGH);
high = ioread32(adapter->addr + ECM_SYSTEM_TIME_HIGH);
high = ioread32(adapter->addr + ECM_SYSTEM_TIME_HIGH);
iowrite32(system_time >> 32, adapter->addr + ECM_SYSTEM_TIME_HIGH);
high = ioread32(adapter->addr + ECM_SYSTEM_TIME_HIGH);
time_high = ioread32(adapter->addr + ECM_SYSTEM_TIME_HIGH);
time_high = ioread32(adapter->addr + ECM_SYSTEM_TIME_HIGH);