/trunk/kernel/generic/include/time/timeout.h |
---|
36,7 → 36,7 |
#define KERN_TIMEOUT_H_ |
#include <arch/types.h> |
#include <typedefs.h> |
#include <cpu.h> |
#include <synch/spinlock.h> |
#include <adt/list.h> |
/trunk/kernel/generic/include/cpu.h |
---|
52,7 → 52,7 |
* |
* There is one structure like this for every processor. |
*/ |
struct cpu { |
typedef struct { |
SPINLOCK_DECLARE(lock); |
tlb_shootdown_msg_t tlb_messages[TLB_MESSAGE_QUEUE_LEN]; |
91,7 → 91,7 |
* Stack used by scheduler when there is no running thread. |
*/ |
uint8_t *stack; |
}; |
} cpu_t; |
extern cpu_t *cpus; |
/trunk/kernel/generic/include/typedefs.h |
---|
47,10 → 47,6 |
typedef unsigned long long task_id_t; |
typedef unsigned long context_id_t; |
typedef struct cpu_info cpu_info_t; |
typedef struct cpu cpu_t; |
typedef struct cpu_arch cpu_arch_t; |
typedef struct task task_t; |
typedef enum state state_t; |
typedef struct thread thread_t; |