Searched refs:ppc_vaddr (Results 1 - 1 of 1) sorted by relevance
/gem5/src/arch/alpha/freebsd/ | ||
H A D | system.cc | 74 Addr ppc_vaddr = 0; local 77 ppc_vaddr = (Addr)tc->readIntReg(17); 80 virtProxy.write(ppc_vaddr, (uint32_t)SimClock::Frequency); |
Completed in 4 milliseconds