Searched refs:is_retypeable (Results 1 - 2 of 2) sorted by last modified time
| /barrelfish-2018-10-04/kernel/include/ |
| H A D | capabilities.h | 145 errval_t is_retypeable(struct cte *src_cte,
|
| /barrelfish-2018-10-04/kernel/ |
| H A D | capabilities.c | 1491 err = is_retypeable(src_cte, src_cap->type, type, from_monitor);
1494 printk(LOG_NOTE, "caps_retype: is_retypeable failed: %"PRIuERRV"\n", err);
1495 debug(SUBSYS_CAPS, "caps_retype: is_retypeable failed\n");
1499 "caps_retype: is_retypeable() returned SYS_ERR_REVOKE_FIRST, doing range check\n");
1503 // TODO: move the range checking into is_retypeable() or even
1717 errval_t is_retypeable(struct cte *src_cte, enum objtype src_type, function
|
Completed in 43 milliseconds