mirror of
https://github.com/xen-project/xen.git
synced 2026-10-28 10:11:27 +01:00
Some very small time cleanups. Also call cur_timer->init during resume.
Some very small time cleanups. Also call cur_timer->init during resume.