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