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

/seL4-test-master/kernel/include/object/
H A Dcnode.h41 bool_t PURE isFinalCapability(cte_t *cte);
/seL4-test-master/kernel/src/object/
H A Dcnode.c623 final = isFinalCapability(slot);
736 final = isFinalCapability(slot);
840 bool_t PURE isFinalCapability(cte_t *cte) function
874 } else if (! isFinalCapability(slot)) {
/seL4-test-master/kernel/src/arch/x86/kernel/
H A Dept.c281 if (!isFinalCapability(cte)) {
486 if (!isFinalCapability(cte)) {
674 if (!isFinalCapability(cte)) {
H A Dvspace.c1150 if (! isFinalCapability(cte)) {
/seL4-test-master/kernel/src/arch/x86/64/kernel/
H A Dvspace.c1153 if (!isFinalCapability(cte)) {
1317 if (!isFinalCapability(cte)) {
/seL4-test-master/kernel/src/arch/arm/64/kernel/
H A Dvspace.c1801 if (unlikely(!isFinalCapability(cte))) {
1889 if (unlikely(!isFinalCapability(cte))) {
1982 if (unlikely(!isFinalCapability(cte))) {
/seL4-test-master/kernel/src/arch/riscv/kernel/
H A Dvspace.c681 if (unlikely(!isFinalCapability(cte))) {
/seL4-test-master/kernel/src/arch/arm/32/kernel/
H A Dvspace.c2170 if (unlikely(! isFinalCapability(cte))) {

Completed in 139 milliseconds