Rev 1702 | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 1702 | Rev 1780 | ||
|---|---|---|---|
| Line 77... | Line 77... | ||
| 77 | /** |
77 | /** |
| 78 | * CAP_IRQ_REG entitles its holder to register IRQ handlers. |
78 | * CAP_IRQ_REG entitles its holder to register IRQ handlers. |
| 79 | */ |
79 | */ |
| 80 | #define CAP_IRQ_REG (1<<4) |
80 | #define CAP_IRQ_REG (1<<4) |
| 81 | 81 | ||
| 82 | typedef __u32 cap_t; |
82 | typedef uint32_t cap_t; |
| 83 | 83 | ||
| 84 | extern void cap_set(task_t *t, cap_t caps); |
84 | extern void cap_set(task_t *t, cap_t caps); |
| 85 | extern cap_t cap_get(task_t *t); |
85 | extern cap_t cap_get(task_t *t); |
| 86 | 86 | ||
| 87 | extern __native sys_cap_grant(sysarg64_t *uspace_taskid_arg, cap_t caps); |
87 | extern unative_t sys_cap_grant(sysarg64_t *uspace_taskid_arg, cap_t caps); |
| 88 | extern __native sys_cap_revoke(sysarg64_t *uspace_taskid_arg, cap_t caps); |
88 | extern unative_t sys_cap_revoke(sysarg64_t *uspace_taskid_arg, cap_t caps); |
| 89 | 89 | ||
| 90 | #endif |
90 | #endif |
| 91 | 91 | ||
| 92 | /** @} |
92 | /** @} |
| 93 | */ |
93 | */ |