RegALiSTimer
uint32 time1 = fDevice->ReadPCI32(RegALiSTimer);
uint32 time2 = fDevice->ReadPCI32(RegALiSTimer);