From 3c348d38cf95104e0bb009685f59f3c7483d6d2f Mon Sep 17 00:00:00 2001
From: Rahix <rahix@rahix.de>
Date: Fri, 5 Jul 2019 20:29:51 +0200
Subject: [PATCH] fix(epicardium): Remove superfluous SEV-WFE pair

Signed-off-by: Rahix <rahix@rahix.de>
---
 epicardium/support.c | 2 --
 1 file changed, 2 deletions(-)

diff --git a/epicardium/support.c b/epicardium/support.c
index 5a2d55c64..1504d1efb 100644
--- a/epicardium/support.c
+++ b/epicardium/support.c
@@ -25,8 +25,6 @@ void pre_idle_sleep(TickType_t xExpectedIdleTime)
 		 * race conditions.
 		 */
 		__asm volatile( "dsb" ::: "memory" );
-		__asm volatile( "sev" );
-		__asm volatile( "wfe" );
 		__asm volatile( "wfe" );
 		__asm volatile( "isb" );
 	}
-- 
GitLab