modified:   vdev/vdev_gicd.c