timer_data_t system_state;
timer_data_t user_state;
- timer_t current_state;
+ timer_t current_state; /* points to processor's idle, system, or user state timer */
/* Thread execution timers */
- timer_t thread_timer;
- timer_t kernel_timer;
+ timer_t thread_timer; /* points to current thread's user or system timer */
+ timer_t kernel_timer; /* points to current thread's system_timer */
/* Kernel stack cache */
struct stack_cache {
ipc_kmsg_t entries[IKM_STASH];
unsigned int avail;
} ikm_cache;
+
+ /* waitq prepost cache */
+#define WQP_CACHE_MAX 50
+ struct wqp_cache {
+ uint64_t head;
+ unsigned int avail;
+ } wqp_cache;
+
int start_color;
unsigned long page_grab_count;
void *free_pages;