arm: Fix a GIC mask register bug
authorAli Saidi <Ali.Saidi@ARM.com>
Thu, 17 Oct 2013 15:20:45 +0000 (10:20 -0500)
committerAli Saidi <Ali.Saidi@ARM.com>
Thu, 17 Oct 2013 15:20:45 +0000 (10:20 -0500)
commit2f7b012ced325bc4a1490044b97acbd9d0b5bbcf
tree07a53d44517dc3a1ecd291bcc2a0ebe3b93319cb
parentcf266f05a97b7a0e613fd10cb01f38fec6a4f16c
arm: Fix a GIC mask register bug

This resulted in a kernel printk that said,
"GIC CPU mask not found - kernel will fail to boot."
src/dev/arm/gic_pl390.cc