Rev 2421 | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 2421 | Rev 2461 | ||
---|---|---|---|
Line 39... | Line 39... | ||
39 | #include <synch/spinlock.h> |
39 | #include <synch/spinlock.h> |
40 | #include <proc/scheduler.h> |
40 | #include <proc/scheduler.h> |
41 | #include <arch/cpu.h> |
41 | #include <arch/cpu.h> |
42 | #include <arch/context.h> |
42 | #include <arch/context.h> |
43 | #if defined CONFIG_TIMEOUT_AVL_TREE |
43 | #if defined CONFIG_TIMEOUT_AVL_TREE |
44 | #include <adt/avl.h> |
44 | #include <adt/avl.h> |
- | 45 | #elif defined CONFIG_TIMEOUT_FAVL_TREE |
|
- | 46 | #include <adt/favl.h> |
|
45 | #elif defined CONFIG_TIMEOUT_EXTAVL_TREE |
47 | #elif defined CONFIG_TIMEOUT_EXTAVL_TREE |
46 | #include <adt/extavl.h> |
48 | #include <adt/extavl.h> |
47 | #elif defined CONFIG_TIMEOUT_EXTAVLREL_TREE |
49 | #elif defined CONFIG_TIMEOUT_EXTAVLREL_TREE |
48 | #include <adt/extavlrel.h> |
50 | #include <adt/extavlrel.h> |
49 | #endif |
51 | #endif |
Line 68... | Line 70... | ||
68 | 70 | ||
69 | SPINLOCK_DECLARE(timeoutlock); |
71 | SPINLOCK_DECLARE(timeoutlock); |
70 | #if defined CONFIG_TIMEOUT_AVL_TREE |
72 | #if defined CONFIG_TIMEOUT_AVL_TREE |
71 | /** AVL tree structure. */ |
73 | /** AVL tree structure. */ |
72 | avltree_t timeout_active_tree; |
74 | avltree_t timeout_active_tree; |
- | 75 | #elif defined CONFIG_TIMEOUT_FAVL_TREE |
|
- | 76 | /** Fast AVL tree structure. */ |
|
- | 77 | favltree_t timeout_active_tree; |
|
73 | #elif defined CONFIG_TIMEOUT_EXTAVL_TREE |
78 | #elif defined CONFIG_TIMEOUT_EXTAVL_TREE |
74 | /** Extended AVL tree structure. */ |
79 | /** Extended AVL tree structure. */ |
75 | extavltree_t timeout_active_tree; |
80 | extavltree_t timeout_active_tree; |
76 | #elif defined CONFIG_TIMEOUT_EXTAVLREL_TREE |
81 | #elif defined CONFIG_TIMEOUT_EXTAVLREL_TREE |
77 | /** Extended AVL tree structure with relative keys. */ |
82 | /** Extended AVL tree structure with relative keys. */ |