test: test the save restore logic for brbcr_el1
This patch tests the save/restore logic by enabling
branch recording at NS-EL2. Additionally this
patch also tests the trap logic when FEAT_FGT is enabled
and a Realm tries to access any FEAT_BRBE related registers.
Signed-off-by: Sona Mathew <sonarebecca.mathew@arm.com>
Change-Id: I176ea6feaf01d42cfd6231dc65a9470da8d1e37c
diff --git a/realm/include/realm_tests.h b/realm/include/realm_tests.h
index 6c1e6c3..c2d4102 100644
--- a/realm/include/realm_tests.h
+++ b/realm/include/realm_tests.h
@@ -31,6 +31,7 @@
bool test_realm_attestation(void);
bool test_realm_attestation_fault(void);
bool test_realm_mpam_undef_abort(void);
+bool test_realm_write_brbcr_el1_reg(void);
#endif /* REALM_TESTS_H */
diff --git a/realm/realm.mk b/realm/realm.mk
index 6281779..d9c1bec 100644
--- a/realm/realm.mk
+++ b/realm/realm.mk
@@ -42,6 +42,7 @@
realm_shared_data.c \
realm_simd.c \
realm_mpam.c \
+ realm_brbe_tests.c \
)
REALM_SOURCES += lib/${ARCH}/cache_helpers.S \
diff --git a/realm/realm_brbe_tests.c b/realm/realm_brbe_tests.c
new file mode 100644
index 0000000..52eeaf3
--- /dev/null
+++ b/realm/realm_brbe_tests.c
@@ -0,0 +1,43 @@
+/*
+ * Copyright (c) 2024, Arm Limited. All rights reserved.
+ * SPDX-License-Identifier: BSD-3-Clause
+ */
+
+#include <arch_helpers.h>
+#include <debug.h>
+#include <realm_tests.h>
+#include <realm_helpers.h>
+#include <sync.h>
+
+ /* Try to enable Branch recording in R-EL1 via BRBCR_EL1 */
+
+bool test_realm_write_brbcr_el1_reg(void)
+{
+ unsigned long brbcr_el1;
+ bool ret_result = false;
+ realm_reset_undef_abort_count();
+
+ /* Install exception handler to catch undefined abort */
+ register_custom_sync_exception_handler(realm_sync_exception_handler);
+
+ brbcr_el1 = read_brbcr_el1();
+ brbcr_el1 |= BRBCR_EL1_INIT;
+ write_brbcr_el1(brbcr_el1);
+
+ read_brbfcr_el1();
+ read_brbts_el1();
+ read_brbinfinj_el1();
+ read_brbsrcinj_el1();
+ read_brbtgtinj_el1();
+ read_brbidr0_el1();
+ read_brbsrc11_el1();
+ read_brbtgt0_el1();
+ read_brbinf15_el1();
+
+ if (realm_get_undef_abort_count() == 11UL) {
+ ret_result = true;
+ }
+ unregister_custom_sync_exception_handler();
+ return ret_result;
+
+}
diff --git a/realm/realm_helpers.c b/realm/realm_helpers.c
index f11e2f3..1887164 100644
--- a/realm/realm_helpers.c
+++ b/realm/realm_helpers.c
@@ -54,7 +54,6 @@
esr_el1, read_elr_el1());
realm_got_undef_abort++;
}
-
return true;
}
diff --git a/realm/realm_payload_main.c b/realm/realm_payload_main.c
index d364aa0..4052ba3 100644
--- a/realm/realm_payload_main.c
+++ b/realm/realm_payload_main.c
@@ -494,6 +494,9 @@
case REALM_ATTESTATION_FAULT:
test_succeed = test_realm_attestation_fault();
break;
+ case REALM_WRITE_BRBCR_EL1:
+ test_succeed = test_realm_write_brbcr_el1_reg();
+ break;
default:
realm_printf("%s() invalid cmd %u\n", __func__, cmd);
break;