kesl/khypervisor — pull request #74 by in1004kyu (2013-12-06 11:18:20+00:00)
Title: virtual timer by injection irq enabler is now supported

1. in guest, call vtimer_mask(0) -> guest now accept generic timer injection irq
vtimer_mask(1) -> guest now do not accept generic timer injection irq
2. bug fix : end of irq message occur at guest. now fix them by vtimer_maks().
bmguest's gic initialization must call before injection irq.