| /SPARTAN/trunk/include/synch/semaphore.h |
|---|
| 36,7 → 36,7 |
| struct semaphore |
| { |
| waitq_t wq; |
| waitq_t wq; |
| }; |
| #define semaphore_down(s) \ |
| /SPARTAN/trunk/include/synch/waitq.h |
|---|
| 39,9 → 39,9 |
| #define WAKEUP_ALL 1 |
| struct waitq { |
| spinlock_t lock; |
| int missed_wakeups; |
| link_t head; |
| spinlock_t lock; |
| int missed_wakeups; |
| link_t head; |
| }; |
| #define waitq_sleep(wq) \ |
| /SPARTAN/trunk/include/stackarg.h |
|---|
| 50,6 → 50,6 |
| ((type) *((ap).last + ++((ap).pos))) |
| #define va_end(ap) |
| #endif |
| /SPARTAN/trunk/include/time/timeout.h |
|---|
| 34,7 → 34,7 |
| #include <synch/spinlock.h> |
| #include <list.h> |
| #define us2ticks(us) ((__u64)(((__u32) (us)/(1000000/HZ)))) |
| #define us2ticks(us) ((__u64)(((__u32) (us)/(1000000/HZ)))) |
| typedef void (* timeout_handler)(void *arg); |
| /SPARTAN/trunk/include/proc/thread.h |
|---|
| 73,12 → 73,16 |
| context_t saved_context; |
| context_t sleep_timeout_context; |
| fpu_context_t saved_fpu_context; |
| int fpu_context_exists; |
| int fpu_context_engaged; /* Defined only if thread doesn't run. It means that fpu context is in CPU |
| that last time executes this thread. This disables migration */ |
| fpu_context_t saved_fpu_context; |
| int fpu_context_exists; |
| /* |
| * Defined only if thread doesn't run. |
| * It means that fpu context is in CPU that last time executes this thread. |
| * This disables migration |
| */ |
| int fpu_context_engaged; |
| waitq_t *sleep_queue; |
| timeout_t sleep_timeout; |
| volatile int timeout_pending; |
| /SPARTAN/trunk/include/mm/page.h |
|---|
| 42,14 → 42,14 |
| #define PAGE_WRITE_SHIFT 4 |
| #define PAGE_EXEC_SHIFT 5 |
| #define PAGE_NOT_CACHEABLE (0<<PAGE_CACHEABLE_SHIFT) |
| #define PAGE_CACHEABLE (1<<PAGE_CACHEABLE_SHIFT) |
| #define PAGE_NOT_CACHEABLE (0<<PAGE_CACHEABLE_SHIFT) |
| #define PAGE_CACHEABLE (1<<PAGE_CACHEABLE_SHIFT) |
| #define PAGE_PRESENT (0<<PAGE_PRESENT_SHIFT) |
| #define PAGE_NOT_PRESENT (1<<PAGE_PRESENT_SHIFT) |
| #define PAGE_PRESENT (0<<PAGE_PRESENT_SHIFT) |
| #define PAGE_NOT_PRESENT (1<<PAGE_PRESENT_SHIFT) |
| #define PAGE_USER (1<<PAGE_USER_SHIFT) |
| #define PAGE_KERNEL (0<<PAGE_USER_SHIFT) |
| #define PAGE_USER (1<<PAGE_USER_SHIFT) |
| #define PAGE_KERNEL (0<<PAGE_USER_SHIFT) |
| #define PAGE_READ (1<<PAGE_READ_SHIFT) |
| #define PAGE_WRITE (1<<PAGE_WRITE_SHIFT) |