diff options
| author | Richard Henderson <rth@twiddle.net> | 2012-08-24 16:25:28 -0700 |
|---|---|---|
| committer | Richard Henderson <rth@twiddle.net> | 2013-01-05 12:18:43 -0800 |
| commit | cfef53e356119bddcba0724c0c26fd5940f231e3 (patch) | |
| tree | ec773f2d9cefe7299e1da6fc8d72a0e40857f430 /target-s390x/insn-data.def | |
| parent | 411fea3d8400af5479690d6e22c6492c15e10a4a (diff) | |
target-s390: Convert IPTE
Signed-off-by: Richard Henderson <rth@twiddle.net>
Diffstat (limited to 'target-s390x/insn-data.def')
| -rw-r--r-- | target-s390x/insn-data.def | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/target-s390x/insn-data.def b/target-s390x/insn-data.def index f68e586e0d..c8368cf151 100644 --- a/target-s390x/insn-data.def +++ b/target-s390x/insn-data.def @@ -616,6 +616,8 @@ #ifndef CONFIG_USER_ONLY /* DIAGNOSE (KVM hypercall) */ C(0x8300, DIAG, RX_a, Z, 0, 0, 0, 0, diag, 0) +/* INVALIDATE PAGE TABLE ENTRY */ + C(0xb221, IPTE, RRF_a, Z, r1_o, r2_o, 0, 0, ipte, 0) /* LOAD CONTROL */ C(0xb700, LCTL, RS_a, Z, 0, a2, 0, 0, lctl, 0) C(0xeb2f, LCTLG, RSY_a, Z, 0, a2, 0, 0, lctlg, 0) |