proxy: Add smp_call[_sync]_el1 variants

Signed-off-by: Hector Martin <[email protected]>

Author: marcan

proxyclient/m1n1/proxy.py

@@ -551,6 +551,8 @@ class M1N1Proxy(Reloadable):
     P_SMP_SET_WFE_MODE = 0x504
     P_SMP_IS_ALIVE = 0x505
     P_SMP_STOP_SECONDARIES = 0x506
+    P_SMP_CALL_EL1 = 0x507
+    P_SMP_CALL_SYNC_EL1 = 0x508
 
     P_HEAPBLOCK_ALLOC = 0x600
     P_MALLOC = 0x601
@@ -953,6 +955,14 @@ def smp_is_alive(self, cpu):
         return self.request(self.P_SMP_IS_ALIVE, cpu)
     def smp_stop_secondaries(self, deep_sleep=False):
         self.request(self.P_SMP_STOP_SECONDARIES, deep_sleep)
+    def smp_call_el1(self, cpu, addr, *args):
+        if len(args) > 3:
+            raise ValueError("Too many arguments")
+        self.request(self.P_SMP_CALL_EL1, cpu, addr, *args)
+    def smp_call_sync_el1(self, cpu, addr, *args):
+        if len(args) > 3:
+            raise ValueError("Too many arguments")
+        return self.request(self.P_SMP_CALL_SYNC_EL1, cpu, addr, *args)
 
     def heapblock_alloc(self, size):
         return self.request(self.P_HEAPBLOCK_ALLOC, size)

src/proxy.c

@@ -348,6 +348,15 @@ int proxy_process(ProxyRequest *request, ProxyReply *reply)
         case P_SMP_IS_ALIVE:
             reply->retval = smp_is_alive(request->args[0]);
             break;
+        case P_SMP_CALL_EL1:
+            smp_call4(request->args[0], el1_call, request->args[1], request->args[2],
+                      request->args[3], request->args[4]);
+            break;
+        case P_SMP_CALL_EL1_SYNC:
+            smp_call4(request->args[0], el1_call, request->args[1], request->args[2],
+                      request->args[3], request->args[4]);
+            reply->retval = smp_wait(request->args[0]);
+            break;
 
         case P_HEAPBLOCK_ALLOC:
             reply->retval = (u64)heapblock_alloc(request->args[0]);

src/proxy.h

@@ -86,6 +86,8 @@ typedef enum {
     P_SMP_SET_WFE_MODE,
     P_SMP_IS_ALIVE,
     P_SMP_STOP_SECONDARIES,
+    P_SMP_CALL_EL1,
+    P_SMP_CALL_EL1_SYNC,
 
     P_HEAPBLOCK_ALLOC = 0x600, // Heap and memory management ops
     P_MALLOC,