Searched refs:timer_vaddr (Results 1 - 1 of 1) sorted by relevance
/gem5/src/arch/alpha/freebsd/ | ||
H A D | system.cc | 75 Addr timer_vaddr = 0; local 78 timer_vaddr = (Addr)tc->readIntReg(18); 81 virtProxy.write(timer_vaddr, (uint32_t)TIMER_FREQUENCY); |
Completed in 4 milliseconds