Source

pypy / pypy / doc / config / objspace.usemodules.time.txt

Use the 'time' module.