arm: Identify table-walker requests
authorAndreas Hansson <andreas.hansson@arm.com>
Fri, 15 May 2015 17:40:01 +0000 (13:40 -0400)
committerAndreas Hansson <andreas.hansson@arm.com>
Fri, 15 May 2015 17:40:01 +0000 (13:40 -0400)
commit99d3fa594565660d8d51fbda005e3c2213723fef
tree136147a093aa08e987f64e5ab44afea8d7b03950
parentbd583d00f96cd6e8bb0669e2aacc9dfad1eda2b1
arm: Identify table-walker requests

This patch ensures all page-table walks are flagged as such.
src/arch/arm/table_walker.cc