modifed : trap.c vdev_gicd.c vdev_gicd.h vdev_timer.h