| 41,6 → 41,7 |
|---|
| #ifndef __CAP_H__ |
| #define __CAP_H__ |
| |
| #include <syscall/sysarg64.h> |
| #include <arch/types.h> |
| #include <typedefs.h> |
| |
| 63,13 → 64,21 |
|---|
| #define CAP_IO_MANAGER (1<<2) |
| |
| /** |
| * CAP_PREEMPT_CONTROL allows its holder to disable interrupts |
| * CAP_PREEMPT_CONTROL allows its holder to disable/enable preemption. |
| */ |
| #define CAP_PREEMPT_CONTROL (1<<3) |
| #define CAP_PREEMPT_CONTROL (1<<3) |
| |
| /** |
| * CAP_IRQ_REG entitles its holder to register IRQ handlers. |
| */ |
| #define CAP_IRQ_REG (1<<4) |
| |
| typedef __u32 cap_t; |
| |
| extern void cap_set(task_t *t, cap_t caps); |
| extern cap_t cap_get(task_t *t); |
| |
| extern __native sys_cap_grant(sysarg64_t *uspace_taskid_arg, cap_t caps); |
| extern __native sys_cap_revoke(sysarg64_t *uspace_taskid_arg, cap_t caps); |
| |
| #endif |