tree f23fc22424f874c1295318904b273c08d00654ab
parent f06b97ffd1ed7a96d5022d52f795fba8483afb75
author Russell King <rmk@dyn-67.arm.linux.org.uk> 1166020483 +0000
committer Russell King <rmk+kernel@arm.linux.org.uk> 1166020483 +0000

[ARM] Unuse another Linux PTE bit

L_PTE_ASID is not really required to be stored in every PTE, since we
can identify it via the address passed to set_pte_at().  So, create
set_pte_ext() which takes the address of the PTE to set, the Linux
PTE value, and the additional CPU PTE bits which aren't encoded in
the Linux PTE value.

Signed-off-by: Russell King <rmk+kernel@arm.linux.org.uk>