From: Nico Boehr <nrb@xxxxxxxxxxxxx>
Add tests for TEST PROTECTION. We cover the following cases:
- page is read/write
- page is readonly
- lowcore protection
- page is not present
- translation specification exception
We don't cover storage keys and the case where the page can be neither read nor
written right now.
This test mainly applies to the TCG case.
Signed-off-by: Nico Boehr <nrb@xxxxxxxxxxxxx>
Reviewed-by: Claudio Imbrenda <imbrenda@xxxxxxxxxxxxx>
Reviewed-by: Janis Schoetterl-Glausch <scgl@xxxxxxxxxxxxx>
Signed-off-by: Claudio Imbrenda <imbrenda@xxxxxxxxxxxxx>
---
s390x/Makefile | 1 +
s390x/tprot.c | 108 ++++++++++++++++++++++++++++++++++++++++++++
s390x/unittests.cfg | 3 ++
3 files changed, 112 insertions(+)
create mode 100644 s390x/tprot.c
diff --git a/s390x/Makefile b/s390x/Makefile
index 25449708..93475972 100644
--- a/s390x/Makefile
+++ b/s390x/Makefile
@@ -3,6 +3,7 @@ tests += $(TEST_DIR)/intercept.elf
tests += $(TEST_DIR)/emulator.elf
tests += $(TEST_DIR)/sieve.elf
tests += $(TEST_DIR)/sthyi.elf
+tests += $(TEST_DIR)/tprot.elf
tests += $(TEST_DIR)/skey.elf
tests += $(TEST_DIR)/diag10.elf
tests += $(TEST_DIR)/diag308.elf
diff --git a/s390x/tprot.c b/s390x/tprot.c
new file mode 100644
index 00000000..460a0db7
--- /dev/null
+++ b/s390x/tprot.c
@@ -0,0 +1,108 @@
+/* SPDX-License-Identifier: GPL-2.0-only */
+/*
+ * TEST PROTECTION tests
+ *
+ * Copyright IBM Corp. 2022
+ *
+ * Authors:
+ * Nico Boehr <nrb@xxxxxxxxxxxxx>
+ */
+
+#include <libcflat.h>
+#include <bitops.h>
+#include <asm/pgtable.h>
+#include <asm/interrupt.h>
+#include "mmu.h"
+#include <vmalloc.h>
+#include <sclp.h>
+
+static uint8_t pagebuf[PAGE_SIZE] __attribute__((aligned(PAGE_SIZE)));
+
+static void test_tprot_rw(void)
+{
+ int cc;
+
+ report_prefix_push("Page read/writeable");
+
+ cc = tprot((unsigned long)pagebuf, 0);
+ report(cc == 0, "CC = 0");
+
+ report_prefix_pop();
+}
+
+static void test_tprot_ro(void)
+{
+ int cc;
+
+ report_prefix_push("Page readonly");
+
+ protect_dat_entry(pagebuf, PAGE_ENTRY_P, 5);
+
+ cc = tprot((unsigned long)pagebuf, 0);
+ report(cc == 1, "CC = 1");
+
+ unprotect_dat_entry(pagebuf, PAGE_ENTRY_P, 5);
+
+ report_prefix_pop();
+}
+
+static void test_tprot_low_addr_prot(void)
+{
+ int cc;
+
+ report_prefix_push("low-address protection");
+
+ low_prot_enable();
+ cc = tprot(0, 0);
+ low_prot_disable();
+ report(cc == 1, "CC = 1");
+
+ report_prefix_pop();
+}
+
+static void test_tprot_transl_unavail(void)
+{
+ int cc;
+
+ report_prefix_push("Page translation unavailable");
+
+ protect_dat_entry(pagebuf, PAGE_ENTRY_I, 5);
+
+ cc = tprot((unsigned long)pagebuf, 0);
+ report(cc == 3, "CC = 3");
+
+ unprotect_dat_entry(pagebuf, PAGE_ENTRY_I, 5);
+
+ report_prefix_pop();
+}
+
+static void test_tprot_transl_pte_bit52_set(void)
+{
+ report_prefix_push("PTE Bit 52 set");
+
+ protect_dat_entry(pagebuf, BIT(63 - 52), 5);
+
+ expect_pgm_int();
+ tprot((unsigned long)pagebuf, 0);
+ check_pgm_int_code(PGM_INT_CODE_TRANSLATION_SPEC);
+
+ unprotect_dat_entry(pagebuf, BIT(63 - 52), 5);
+
+ report_prefix_pop();
+}
+
+int main(void)
+{
+ report_prefix_push("tprot");
+
+ setup_vm();
+
+ test_tprot_rw();
+ test_tprot_ro();
+ test_tprot_low_addr_prot();
+ test_tprot_transl_unavail();
+ test_tprot_transl_pte_bit52_set();
+
+ report_prefix_pop();
+ return report_summary();
+}
diff --git a/s390x/unittests.cfg b/s390x/unittests.cfg
index aeb82246..743013b2 100644
--- a/s390x/unittests.cfg
+++ b/s390x/unittests.cfg
@@ -143,3 +143,6 @@ file = sck.elf
[epsw]
file = epsw.elf
extra_params = -device virtio-net-ccw
+
+[tprot]
+file = tprot.elf
--
2.34.1
