1 files changed, 6 insertions, 0 deletions
diff --git a/hax-stub.c b/hax-stub.c
index 456caa8ef7..1ec5594473 100644
--- a/hax-stub.c
+++ b/hax-stub.c
@@ -44,3 +44,9 @@ int hax_enabled(void)
 {
    return 0;
 }
+
+int hax_ug_platform(void)
+{
+    return 0;
+}
+