Rev 1174 | Rev 1264 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 1174 | Rev 1212 | ||
|---|---|---|---|
| Line 55... | Line 55... | ||
| 55 | * CAP_IO_MANAGER allows its holder to access I/O space |
55 | * CAP_IO_MANAGER allows its holder to access I/O space |
| 56 | * to other tasks. |
56 | * to other tasks. |
| 57 | */ |
57 | */ |
| 58 | #define CAP_IO_MANAGER (1<<2) |
58 | #define CAP_IO_MANAGER (1<<2) |
| 59 | 59 | ||
| - | 60 | /** |
|
| - | 61 | * CAP_INT_CONTROL allows its holder to disable interrupts |
|
| - | 62 | */ |
|
| - | 63 | #define CAP_INT_CONTROL (1<<3) |
|
| - | 64 | ||
| 60 | typedef __u32 cap_t; |
65 | typedef __u32 cap_t; |
| 61 | 66 | ||
| 62 | extern void cap_set(task_t *t, cap_t caps); |
67 | extern void cap_set(task_t *t, cap_t caps); |
| 63 | extern cap_t cap_get(task_t *t); |
68 | extern cap_t cap_get(task_t *t); |
| 64 | 69 | ||