modified:   include/vdev.h
	modified:   trap.c
	modified:   trap.h
	modified:   trap_dabort.h
	modified:   vdev/vdev_gicd.c
	modified:   vdev/vdev_gicd.h
	modified:   vdev/vdev_sample.c
	modified:   vdev/vdev_sample.h
	modified:   vdev/vdev_timer.c
	modified:   vdev/vdev_timer.h