+ /*
+ * 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);
+
+ pal_preemption_assert();
+
+ 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);
+ }
+}
+
+extern void kprintf_break_lock(void);
+void
+kprintf_break_lock(void)
+{
+ simple_lock_init(&kprintf_lock, 0);