kesl/khypervisor — pull request #45 by simonkim (2013-11-08 06:58:15+00:00)
Title: virq.c: virq_inject(vmid, virq, pirq, hw) instead of vgic_inject_virq_sw/hw()

Added virq.c
New VIRQ Injection API: virq_inject(vmid, virq, pirq, hw)