tree c512d089524c5a78eb5e9000a784e3dea0204901
parent ea879fc719b0756f1768f765ee3a5660ce05ca7b
author Richard Henderson <rth@twiddle.net> 1305926084 -0700
committer Richard Henderson <rth@anchor.twiddle.net> 1306862285 -0700

target-alpha: Use kernel mmu_idx for pal_mode.

Signed-off-by: Richard Henderson <rth@twiddle.net>