1,5 → 1,5 |
/* |
* Copyright (c) 2001-2004 Jakub Jermar |
* Copyright (C) 2001-2004 Jakub Jermar |
* All rights reserved. |
* |
* Redistribution and use in source and binary forms, with or without |
40,7 → 40,11 |
#include <proc/scheduler.h> |
#include <arch/cpu.h> |
#include <arch/context.h> |
#ifdef CONFIG_TIMEOUT_EXTAVL_TREE |
#include <adt/extavl.h> |
#endif |
|
|
#define CPU_STACK_SIZE STACK_SIZE |
|
/** CPU structure. |
47,7 → 51,7 |
* |
* There is one structure like this for every processor. |
*/ |
typedef struct { |
typedef struct cpu { |
SPINLOCK_DECLARE(lock); |
|
tlb_shootdown_msg_t tlb_messages[TLB_MESSAGE_QUEUE_LEN]; |
60,7 → 64,13 |
volatile count_t needs_relink; |
|
SPINLOCK_DECLARE(timeoutlock); |
#ifdef CONFIG_TIMEOUT_EXTAVL_TREE |
/** Extended AVL tree structure. */ |
extavltree_t timeout_active_tree; |
#else |
/** Head of list of timeouts. */ |
link_t timeout_active_head; |
#endif |
|
count_t missed_clock_ticks; /**< When system clock loses a tick, it is recorded here |
so that clock() can react. This variable is |