kesl/khypervisor — pull request #52 by in1004kyu (2013-11-18 10:01:06+00:00)
Title: vdev_gicd.c : virtual distributor notify modified interrupt status to outside

vdev_gicd.c : virtual distributor notify modified interrupt status to outside
There is test code in tests_vdev.c