Subversion Repositories HelenOS

Compare Revisions

Ignore whitespace Rev 2076 → Rev 2079

/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;