/*
- * Copyright (c) 2003-2007 Apple Inc. All rights reserved.
+ * Copyright (c) 2003-2008 Apple Inc. All rights reserved.
*
* @APPLE_OSREFERENCE_LICENSE_HEADER_START@
*
#include <kern/processor.h>
#include <kern/timer.h>
+#include <kern/debug.h>
void
processor_data_init(
timer_init(&PROCESSOR_DATA(processor, system_state));
timer_init(&PROCESSOR_DATA(processor, user_state));
- queue_init(&PROCESSOR_DATA(processor, timer_call_queue));
+ PROCESSOR_DATA(processor, debugger_state).db_current_op = DBOP_NONE;
}