From d49522e7dc0aef9c0a78ed0d35d0f693b53835cc Mon Sep 17 00:00:00 2001
From: Jose Marinho <jose.marinho@arm.com>
Date: Mon, 7 Jun 2021 09:04:08 +0100
Subject: [PATCH] Correct OS triggered reset - should call RT.ResetSystem

---
 source/uml/bl33_swd_capsule_install.txt | 3 ++-
 source/uml/bl33_swd_img_test_fail.txt   | 3 ++-
 2 files changed, 4 insertions(+), 2 deletions(-)

diff --git a/source/uml/bl33_swd_capsule_install.txt b/source/uml/bl33_swd_capsule_install.txt
index bdd89cc..2bd4666 100755
--- a/source/uml/bl33_swd_capsule_install.txt
+++ b/source/uml/bl33_swd_capsule_install.txt
@@ -11,5 +11,6 @@ OS -> UEFI ++: call CapsuleUpdate()
 UEFI -> FWU ++: transfer FW blobs
 FWU -> UEFI --
 UEFI -> OS --
-OS -> TFA: PSCI_SYSTEM_RESET
+OS -> UEFI ++: call ResetSystem()
+UEFI -> TFA: PSCI_SYSTEM_RESET
 @enduml
diff --git a/source/uml/bl33_swd_img_test_fail.txt b/source/uml/bl33_swd_img_test_fail.txt
index 3a2c597..c97c9ad 100644
--- a/source/uml/bl33_swd_img_test_fail.txt
+++ b/source/uml/bl33_swd_img_test_fail.txt
@@ -27,6 +27,7 @@ OS -> UEFI ++: install FW revert capsule
 UEFI -> FWU ++: set previously working bank as active
 FWU -> UEFI --
 UEFI -> OS --
-OS -> TFA : PSCI_SYSTEM_RESET
+OS -> UEFI ++: call ResetSystem()
+UEFI -> TFA : PSCI_SYSTEM_RESET
 
 @enduml
-- 
GitLab