#include <sys/time.h>
#include <sys/systm.h>
#include <sys/mman.h>
+#include <sys/kasl.h>
#include <security/audit/audit.h>
#if __arm64__
__private_extern__ int bootarg_no64exec = 0;
#endif
+#if __x86_64__
+__private_extern__ int bootarg_no32exec = 0;
+#endif
__private_extern__ int bootarg_vnode_cache_defeat = 0;
#if CONFIG_JETSAM && (DEVELOPMENT || DEBUG)
panic("bsd_init: Failed to allocate bsd pageable map");
}
+ bsd_init_kprintf("calling fpxlog_init\n");
+ fpxlog_init();
+
/*
* Initialize buffers and hash links for buffers
*
if (PE_parse_boot_argn("-no64exec", namep, sizeof (namep)))
bootarg_no64exec = 1;
#endif
+#if __x86_64__
+ /* disable 32 bit grading */
+ if (PE_parse_boot_argn("-no32exec", namep, sizeof (namep)))
+ bootarg_no32exec = 1;
+#endif
/* disable vnode_cache_is_authorized() by setting vnode_cache_defeat */
if (PE_parse_boot_argn("-vnode_cache_defeat", namep, sizeof (namep)))