tree ec773f2d9cefe7299e1da6fc8d72a0e40857f430
parent 411fea3d8400af5479690d6e22c6492c15e10a4a
author Richard Henderson <rth@twiddle.net> 1345850728 -0700
committer Richard Henderson <rth@twiddle.net> 1357417123 -0800

target-s390: Convert IPTE

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