Rev 1787 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 1787 | Rev 1866 | ||
|---|---|---|---|
| Line 69... | Line 69... | ||
| 69 | arg.value = (unsigned long long) id; |
69 | arg.value = (unsigned long long) id; |
| 70 | 70 | ||
| 71 | return __SYSCALL2(SYS_CAP_REVOKE, (sysarg_t) &arg, (sysarg_t) caps); |
71 | return __SYSCALL2(SYS_CAP_REVOKE, (sysarg_t) &arg, (sysarg_t) caps); |
| 72 | } |
72 | } |
| 73 | 73 | ||
| 74 | - | ||
| 75 | /** @} |
74 | /** @} |
| 76 | */ |
75 | */ |