// get system timer value timing_t gettime( ) { #ifdef USE_ECOS #ifdef USE_DCR_TIMEBASE return XIo_DcrIn(XPAR_DCR_TIMEBASE_0_DCR_BASEADDR+1); #else return *tbr; #endif // USE_DCR_TIMEBASE #else return clock( ); #endif }
/** * gets dcr timebase value * * @return dcr timebase value */ timing_t gettime( ){ timing_t ret; //ret = XIo_DcrIn((unsigned int) 65); //#ifndef NO_VGA_FRAMEBUFFER // ret = XIo_DcrIn((unsigned int) 65); //#else // ret = XIo_DcrIn((unsigned int) 5); ret = XIo_DcrIn((unsigned int) 33); //#endif return ret; }