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