aboutsummaryrefslogtreecommitdiff
path: root/lib/mpi/mpi-inline.h
diff options
context:
space:
mode:
authorRussell King <[email protected]>2011-05-26 19:50:30 +0100
committerRussell King <[email protected]>2011-05-26 19:50:30 +0100
commitcc780af5aca00d573eae0e926e1d4cf1439b580e (patch)
tree0f064010d2935ec07737a10f63728ef36668b4d9 /lib/mpi/mpi-inline.h
parent1784b157c89cd2b5e6a3840abfdab6ed51f31d86 (diff)
ARM: kill pmd_off()
pmd_off() has only one user, so lets consolidate this into its only user. Signed-off-by: Russell King <[email protected]>
Diffstat (limited to 'lib/mpi/mpi-inline.h')
0 files changed, 0 insertions, 0 deletions