kesl/khypervisor — pull request #197 by HyeJi (2014-03-25 06:48:11+00:00)
Title: Fixed IRQ number

cf. "Cortex™-A15 Technical Reference Manual" ( 8.2.3 Interrupt sources )