xnu-7195.101.1.tar.gz

[apple/xnu.git] / osfmk / kern / machine.c

diff --git a/osfmk/kern/machine.c b/osfmk/kern/machine.c
index 24879020598a512c4240c290a7bf64a3c0f215da..03f9287d46552894b38a063619bc45c143423a81 100644 (file)
--- a/osfmk/kern/machine.c
+++ b/osfmk/kern/machine.c
@@ -75,7 +75,6 @@
 #include <mach/processor_server.h>
 
 #include <kern/kern_types.h>
-#include <kern/counters.h>
 #include <kern/cpu_data.h>
 #include <kern/cpu_quiesce.h>
 #include <kern/ipc_host.h>
@@ -175,8 +174,6 @@ host_reboot(
                return KERN_INVALID_HOST;
        }
 
-       assert(host_priv == &realhost);
-
 #if DEVELOPMENT || DEBUG
        if (options & HOST_REBOOT_DEBUGGER) {
                Debugger("Debugger");
@@ -466,8 +463,6 @@ host_get_boot_info(
                return KERN_INVALID_HOST;
        }
 
-       assert(host_priv == &realhost);
-
        /*
         * Copy first operator string terminated by '\0' followed by
         *      standardized strings generated from boot string.