Fix some paging related bugs exposed by the spawn stress test.

- Process::exec() needs to restore the original paging scope when called
  on a non-current process.
- Add missing InterruptDisabler guards around g_processes access.
- Only flush the TLB when modifying the active page tables.

2 files changed, 1 insertions, 3 deletions

diff --git a/AK/Compiler.h b/AK/Compiler.h
index f7ebfa12d6..04fad92b7f 100644
--- a/AK/Compiler.h
+++ b/AK/Compiler.h
@@ -3,7 +3,7 @@
 #define PACKED __attribute__ ((packed))
 #define NORETURN __attribute__ ((noreturn))
 #undef ALWAYS_INLINE
-#define ALWAYS_INLINE __attribute__ ((always_inline))
+#define ALWAYS_INLINE inline __attribute__ ((always_inline))
 #define NEVER_INLINE __attribute__ ((noinline))
 #define MALLOC_ATTR __attribute__ ((malloc))
 #define PURE __attribute__ ((pure))
diff --git a/AK/printf.cpp b/AK/printf.cpp
index 73d13594d0..4b8cf89172 100644
--- a/AK/printf.cpp
+++ b/AK/printf.cpp
@@ -1,5 +1,3 @@
-#define ALWAYS_INLINE inline __attribute__ ((always_inline))
-
 typedef unsigned char byte;
 typedef unsigned short word;
 typedef unsigned int dword;