mirror of
https://github.com/xen-project/xen.git
synced 2026-10-28 18:21:39 +01:00
scheduler.py: Simplify scheduler by removing support for cancelling timeouts. Also add a ``now'' function to run a function in a seperate thread. XendDomain.py: g/c gratuitous refresh() calls. Drive domain restart off the virq signaling that a domain has terminated. Signed-off-by: Christian Limpach <Christian.Limpach@cl.cam.ac.uk>