Searched refs:src_type (Results 1 - 2 of 2) sorted by path
| /barrelfish-2018-10-04/kernel/ |
| H A D | capabilities.c | 1717 errval_t is_retypeable(struct cte *src_cte, enum objtype src_type, argument
1720 if (!is_well_founded(src_type, dest_type)) {
1722 } else if (!is_revoked_first(src_cte, src_type)){
1723 //printf("err_revoke_first: (%p, %d, %d)\n", src_cte, src_type, dest_type);
|
| /barrelfish-2018-10-04/kernel/include/ |
| H A D | capabilities.h | 146 enum objtype src_type,
|
Completed in 84 milliseconds