56a57
> cxx_header = "dev/arm/amba_device.hh"
61a63
> cxx_header = "dev/arm/amba_device.hh"
69a72
> cxx_header = "dev/arm/amba_device.hh"
77a81
> cxx_header = "dev/arm/a9scu.hh"
80a85
> cxx_header = "dev/arm/rv_ctrl.hh"
86a92
> cxx_header = "dev/arm/gic.hh"
96a103
> cxx_header = "dev/arm/amba_fake.hh"
101a109
> cxx_header = "dev/arm/pl011.hh"
108a117
> cxx_header = "dev/arm/timer_sp804.hh"
117a127
> cxx_header = "dev/arm/timer_cpulocal.hh"
125a136
> cxx_header = "dev/arm/rtc_pl031.hh"
130a142
> cxx_header = "dev/arm/kmi.hh"
137a150
> cxx_header = "dev/arm/pl111.hh"
144a158
> cxx_header = "dev/arm/realview.hh"