From d6ccfd36f805f98648afc785c29100dbfb50614e Mon Sep 17 00:00:00 2001
From: Yifan Lu
Date: Thu, 3 Nov 2016 23:09:51 -0700
Subject: Made ARM patch alignment 0x4 so copy from kernel to user works

---
 lib/arm/jump-patch.h | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'lib/arm/jump-patch.h')

diff --git a/lib/arm/jump-patch.h b/lib/arm/jump-patch.h
index 8787070..8ba4c3a 100644
--- a/lib/arm/jump-patch.h
+++ b/lib/arm/jump-patch.h
@@ -1,14 +1,14 @@
 #pragma once
 #include "dis.h"
 #include "arm/assemble.h"
-#define MAX_JUMP_PATCH_SIZE 8
+#define MAX_JUMP_PATCH_SIZE 12
 #define MAX_EXTENDED_PATCH_SIZE (MAX_JUMP_PATCH_SIZE+14)
 
 static inline int jump_patch_size(uint_tptr pc,
                                   UNUSED uint_tptr dpc,
                                   UNUSED struct arch_dis_ctx arch,
                                   UNUSED bool force) {
-    return (pc & 2) ? 10 : 8;
+    return (pc & 2) ? 12 : 8;
 }
 
 static inline void make_jump_patch(void **codep, uint_tptr pc,
-- 
cgit v1.2.3