Searched refs:z_slot (Results 1 - 1 of 1) sorted by relevance
/seL4-test-master/kernel/src/object/ | ||
H A D | cnode.c | 601 cte_t *z_slot = (cte_t *)cap_zombie_cap_get_capZombiePtr(cap); local 602 return (n == 0 || (n == 1 && slot == z_slot)); |
Completed in 29 milliseconds