xnu-4903.241.1.tar.gz

[apple/xnu.git] / pexpert / i386 / pe_kprintf.c

diff --git a/pexpert/i386/pe_kprintf.c b/pexpert/i386/pe_kprintf.c
index c9f720e21cfcba3eaa82a696e82efce1c7d69b51..d1d51da432897c998ee60b1bd00dfa548dbf80f1 100644 (file)
--- a/pexpert/i386/pe_kprintf.c
+++ b/pexpert/i386/pe_kprintf.c
@@ -39,6 +39,7 @@
 #include <machine/pal_routines.h>
 #include <i386/proc_reg.h>
 #include <os/log_private.h>
+#include <libkern/section_keywords.h>
 
 /* Globals */
 void (*PE_kputc)(char c);
@@ -47,9 +48,9 @@ void (*PE_kputc)(char c);
 /* DEBUG kernel starts with true serial, but
  * may later disable or switch to video
  * console */
-unsigned int disable_serial_output = FALSE;
+SECURITY_READ_ONLY_LATE(unsigned int) disable_serial_output = FALSE;
 #else
-unsigned int disable_serial_output = TRUE;
+SECURITY_READ_ONLY_LATE(unsigned int) disable_serial_output = TRUE;
 #endif
 
 decl_simple_lock_data(static, kprintf_lock)