tree d75e280f71423a456329fe803fea5de3e58e9aef
parent ed0a295c59349f8b055d3fe2da8e55838f3a6e7f
author Gabe Black <gabeblack@google.com> 1539658613 -0700
committer Gabe Black <gabeblack@google.com> 1539807543 +0000

arch: Include some additional headers in arch/generic/mmapped_ipr.cc.

These had been included transitively before.

Change-Id: Ie420bc957e9abb5cd01fcf720fc1fda619d210f0
Reviewed-on: https://gem5-review.googlesource.com/c/13538
Reviewed-by: Andreas Sandberg <andreas.sandberg@arm.com>
Maintainer: Andreas Sandberg <andreas.sandberg@arm.com>