+
+void
+debug_log_init(void)
+{
+ if (debug_buf_size != 0)
+ return;
+ if (kmem_alloc(kernel_map, (vm_offset_t *) &debug_buf, PAGE_SIZE) != KERN_SUCCESS)
+ panic("cannot allocate debug_buf \n");
+ debug_buf_ptr = debug_buf;
+ debug_buf_size = PAGE_SIZE;
+}
+
+void
+debug_putc(char c)
+{
+ if ((debug_buf_size != 0) && ((debug_buf_ptr-debug_buf) < debug_buf_size)) {
+ *debug_buf_ptr=c;
+ debug_buf_ptr++;
+ }
+}