Rev 1787 | Rev 2071 | Go to most recent revision | Show entire file | Regard 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 | */ |