FIXME: benchmark

Signed-off-by: Rusty Russell <rusty@rustcorp.com.au>
---
 drivers/lguest/core.c |    3 +++
 1 file changed, 3 insertions(+)

diff --git a/drivers/lguest/core.c b/drivers/lguest/core.c
--- a/drivers/lguest/core.c
+++ b/drivers/lguest/core.c
@@ -250,6 +250,9 @@ int run_guest(struct lg_cpu *cpu, unsign
 		/* Now we're ready to be interrupted or moved to other CPUs */
 		local_irq_enable();
 
+		/* Check to see if we should schedule. */
+		cond_resched();
+
 		/* Now we deal with whatever happened to the Guest. */
 		lguest_arch_handle_trap(cpu);
 	}