kesl/khypervisor — pull request #48 by simonkim (2013-11-13 00:59:49+00:00)
Title: context now flushes queued virqs to the current guest 

when no guest switching occurs (i.e. single guest configuration).
+ vgic_flush_virqs() in vgic.h/c