Rev 1264 | Rev 1297 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 1264 | Rev 1278 | ||
---|---|---|---|
Line 61... | Line 61... | ||
61 | * to other tasks. |
61 | * to other tasks. |
62 | */ |
62 | */ |
63 | #define CAP_IO_MANAGER (1<<2) |
63 | #define CAP_IO_MANAGER (1<<2) |
64 | 64 | ||
65 | /** |
65 | /** |
66 | * CAP_INT_CONTROL allows its holder to disable interrupts |
66 | * CAP_PREEMPT_CONTROL allows its holder to disable interrupts |
67 | */ |
67 | */ |
68 | #define CAP_INT_CONTROL (1<<3) |
68 | #define CAP_PREEMPT_CONTROL (1<<3) |
69 | 69 | ||
70 | typedef __u32 cap_t; |
70 | typedef __u32 cap_t; |
71 | 71 | ||
72 | extern void cap_set(task_t *t, cap_t caps); |
72 | extern void cap_set(task_t *t, cap_t caps); |
73 | extern cap_t cap_get(task_t *t); |
73 | extern cap_t cap_get(task_t *t); |