Searched refs:isFinalCapability (Results 1 - 8 of 8) sorted by relevance

/seL4-l4v-10.1.1/seL4/include/object/
H A Dcnode.h48 bool_t PURE isFinalCapability(cte_t *cte);
/seL4-l4v-10.1.1/seL4/src/object/
H A Dcnode.c636 final = isFinalCapability(slot);
751 final = isFinalCapability(slot);
859 isFinalCapability(cte_t *cte) function
894 } else if (! isFinalCapability(slot)) {
/seL4-l4v-10.1.1/seL4/src/arch/x86/kernel/
H A Dept.c299 if (!isFinalCapability(cte)) {
509 if (!isFinalCapability(cte)) {
702 if (!isFinalCapability(cte)) {
H A Dvspace.c1286 if (! isFinalCapability(cte)) {
/seL4-l4v-10.1.1/seL4/src/arch/x86/64/kernel/
H A Dvspace.c1206 if (!isFinalCapability(cte)) {
1372 if (!isFinalCapability(cte)) {
/seL4-l4v-10.1.1/seL4/src/arch/arm/64/kernel/
H A Dvspace.c1841 if (unlikely(!isFinalCapability(cte))) {
1931 if (unlikely(!isFinalCapability(cte))) {
2025 if (unlikely(!isFinalCapability(cte))) {
/seL4-l4v-10.1.1/seL4/src/arch/riscv/kernel/
H A Dvspace.c694 if (unlikely(!isFinalCapability(cte))) {
/seL4-l4v-10.1.1/seL4/src/arch/arm/32/kernel/
H A Dvspace.c2322 if (unlikely(! isFinalCapability(cte))) {

Completed in 118 milliseconds