Lines Matching defs:booted
202 } booted = BOOT_COLD;
404 KASSERT(booted >= BOOT_KVA, ("Bucket enable before init"));
471 if (__predict_false(booted < BOOT_KVA))
2338 * If we haven't booted yet we need allocations to go through the
2346 if (booted < BOOT_KVA)
2777 if (booted >= BOOT_PCPU) {
2779 if (booted >= BOOT_RUNNING)
3026 booted = BOOT_KVA;
3040 booted = BOOT_PCPU;
3059 booted = BOOT_RUNNING;
3070 booted = BOOT_SHUTDOWN;
3205 if (booted == BOOT_SHUTDOWN &&