/*
* WARNING! Do not include this pl022-specific controller header
* for any generic driver. It is only done in this dummy chip
/*
* WARNING! Do not include this pl022-specific controller header
* for any generic driver. It is only done in this dummy chip