Rev 2071 | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 2071 | Rev 2089 | ||
|---|---|---|---|
| Line 47... | Line 47... | ||
| 47 | #ifndef __CAP_H__ |
47 | #ifndef __CAP_H__ |
| 48 | #define __CAP_H__ |
48 | #define __CAP_H__ |
| 49 | 49 | ||
| 50 | #include <syscall/sysarg64.h> |
50 | #include <syscall/sysarg64.h> |
| 51 | #include <arch/types.h> |
51 | #include <arch/types.h> |
| 52 | #include <typedefs.h> |
- | |
| 53 | 52 | ||
| 54 | /** |
53 | /** |
| 55 | * CAP_CAP allows its holder to grant/revoke arbitrary |
54 | * CAP_CAP allows its holder to grant/revoke arbitrary |
| 56 | * privilege to/from other tasks. |
55 | * privilege to/from other tasks. |
| 57 | */ |
56 | */ |
| Line 79... | Line 78... | ||
| 79 | */ |
78 | */ |
| 80 | #define CAP_IRQ_REG (1<<4) |
79 | #define CAP_IRQ_REG (1<<4) |
| 81 | 80 | ||
| 82 | typedef uint32_t cap_t; |
81 | typedef uint32_t cap_t; |
| 83 | 82 | ||
| 84 | extern void cap_set(task_t *t, cap_t caps); |
- | |
| 85 | extern cap_t cap_get(task_t *t); |
- | |
| 86 | - | ||
| 87 | extern unative_t sys_cap_grant(sysarg64_t *uspace_taskid_arg, cap_t caps); |
83 | extern unative_t sys_cap_grant(sysarg64_t *uspace_taskid_arg, cap_t caps); |
| 88 | extern unative_t sys_cap_revoke(sysarg64_t *uspace_taskid_arg, cap_t caps); |
84 | extern unative_t sys_cap_revoke(sysarg64_t *uspace_taskid_arg, cap_t caps); |
| 89 | 85 | ||
| 90 | #endif |
86 | #endif |
| 91 | 87 | ||