hv_exc: Add hv_add_time() function & proxy thunk

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

Author: marcan

proxyclient/m1n1/proxy.py

@@ -600,6 +600,7 @@ class M1N1Proxy(Reloadable):
     P_HV_MAP_VIRTIO = 0xc0d
     P_VIRTIO_PUT_BUFFER = 0xc0e
     P_HV_EXIT_CPU = 0xc0f
+    P_HV_ADD_TIME = 0xc10
 
     P_FB_INIT = 0xd00
     P_FB_SHUTDOWN = 0xd01
@@ -1047,6 +1048,8 @@ def virtio_put_buffer(self, base, qu, idx, length):
         return self.request(self.P_VIRTIO_PUT_BUFFER, base, qu, idx, length)
     def hv_exit_cpu(self, cpu=-1):
         return self.request(self.P_HV_EXIT_CPU, cpu)
+    def hv_add_time(self, time):
+        return self.request(self.P_HV_ADD_TIME, time)
 
     def fb_init(self):
         return self.request(self.P_FB_INIT)

src/hv.h

@@ -77,6 +77,7 @@ void virtio_put_buffer(u64 base, int qu, u32 id, u32 len);
 /* Exceptions */
 void hv_exc_proxy(struct exc_info *ctx, uartproxy_boot_reason_t reason, u32 type, void *extra);
 void hv_set_time_stealing(bool enabled, bool reset);
+void hv_add_time(s64 time);
 
 /* WDT */
 void hv_wdt_pet(void);

src/hv_exc.c

@@ -146,6 +146,11 @@ void hv_set_time_stealing(bool enabled, bool reset)
         stolen_time = 0;
 }
 
+void hv_add_time(s64 time)
+{
+    stolen_time -= (u64)time;
+}
+
 static void hv_update_fiq(void)
 {
     u64 hcr = mrs(HCR_EL2);

src/proxy.c

@@ -496,6 +496,9 @@ int proxy_process(ProxyRequest *request, ProxyReply *reply)
         case P_HV_EXIT_CPU:
             hv_exit_cpu(request->args[0]);
             break;
+        case P_HV_ADD_TIME:
+            hv_add_time(request->args[0]);
+            break;
 
         case P_FB_INIT:
             fb_init(request->args[0]);

src/proxy.h

@@ -136,6 +136,7 @@ typedef enum {
     P_HV_MAP_VIRTIO,
     P_VIRTIO_PUT_BUFFER,
     P_HV_EXIT_CPU,
+    P_HV_ADD_TIME,
 
     P_FB_INIT = 0xd00,
     P_FB_SHUTDOWN,