- boolean_t state;
-
- if (!disableSerialOuput) {
-
- /*
- * Spin to get kprintf lock but re-enable interrupts while failing.
- * This allows interrupts to be handled while waiting but
- * interrupts are disabled once we have the lock.
- */
- state = ml_set_interrupts_enabled(FALSE);
- while (!simple_lock_try(&kprintf_lock)) {
- ml_set_interrupts_enabled(state);
- ml_set_interrupts_enabled(FALSE);
- }
-
- if (cpu_number() != cpu_last_locked) {
- MP_DEBUG_KPRINTF("[cpu%d...]\n", cpu_number());
- cpu_last_locked = cpu_number();
+ boolean_t state;
+
+ if (!disable_serial_output) {
+
+ /*
+ * Spin to get kprintf lock but re-enable interrupts while
+ * failing.
+ * This allows interrupts to be handled while waiting but
+ * interrupts are disabled once we have the lock.
+ */
+ state = ml_set_interrupts_enabled(FALSE);
+ while (!simple_lock_try(&kprintf_lock)) {
+ ml_set_interrupts_enabled(state);
+ ml_set_interrupts_enabled(FALSE);
+ }
+
+ if (cpu_number() != cpu_last_locked) {
+ MP_DEBUG_KPRINTF("[cpu%d...]\n", cpu_number());
+ cpu_last_locked = cpu_number();
+ }
+
+ va_start(listp, fmt);
+ _doprnt(fmt, &listp, PE_kputc, 16);
+ va_end(listp);
+
+ simple_unlock(&kprintf_lock);
+ ml_set_interrupts_enabled(state);