Searched refs:excaprefs (Results 1 - 22 of 22) sorted by relevance

/seL4-mcs-10.1.1/include/
H A Dcompound_types.h34 cte_ptr_t excaprefs[seL4_MsgMaxExtraCaps]; member in struct:extra_caps
/seL4-mcs-10.1.1/src/object/
H A Dtcb.c347 current_extra_caps.excaprefs[0] = NULL;
362 current_extra_caps.excaprefs[i] = lu_ret.slot;
365 current_extra_caps.excaprefs[i] = NULL;
800 if (length < 1 || excaps.excaprefs[0] == NULL) {
810 source_cap = excaps.excaprefs[0]->cap;
951 if (length < 3 || rootCaps.excaprefs[0] == NULL
952 || rootCaps.excaprefs[1] == NULL
953 || rootCaps.excaprefs[2] == NULL) {
963 cRootSlot = rootCaps.excaprefs[0];
964 cRootCap = rootCaps.excaprefs[
[all...]
H A Dinterrupt.c40 if (length < 3 || excaps.excaprefs[0] == NULL) {
49 cnodeCap = excaps.excaprefs[0]->cap;
107 if (excaps.excaprefs[0] == NULL) {
111 ntfnCap = excaps.excaprefs[0]->cap;
112 slot = excaps.excaprefs[0];
H A Duntyped.c58 if (length < 6 || excaps.excaprefs[0] == NULL) {
72 rootSlot = excaps.excaprefs[0];
120 nodeCap = excaps.excaprefs[0]->cap;
122 cap_t rootCap = excaps.excaprefs[0]->cap;
H A Dschedcontrol.c93 if (extraCaps.excaprefs[0] == NULL) {
110 cap_t targetCap = extraCaps.excaprefs[0]->cap;
H A Dschedcontext.c35 if (extraCaps.excaprefs[0] == NULL) {
41 cap_t cap = extraCaps.excaprefs[0]->cap;
90 if (extraCaps.excaprefs[0] == NULL) {
96 cap_t cap = extraCaps.excaprefs[0]->cap;
H A Dcnode.c82 if (length < 4 || excaps.excaprefs[0] == NULL) {
90 srcRoot = excaps.excaprefs[0]->cap;
224 if (length < 8 || excaps.excaprefs[0] == NULL
225 || excaps.excaprefs[1] == NULL) {
236 pivotRoot = excaps.excaprefs[0]->cap;
237 srcRoot = excaps.excaprefs[1]->cap;
/seL4-mcs-10.1.1/src/arch/arm/object/
H A Dinterrupt.c31 if (length < 4 || excaps.excaprefs[0] == NULL) {
48 cap_t cnodeCap = excaps.excaprefs[0]->cap;
H A Diospace.c178 if (excaps.excaprefs[0] == NULL || length < 1) {
190 io_space = excaps.excaprefs[0]->cap;
276 if (excaps.excaprefs[0] == NULL || length < 2) {
296 io_space = excaps.excaprefs[0]->cap;
H A Dvcpu.c737 if ( extraCaps.excaprefs[0] == NULL) {
742 tcbCap = extraCaps.excaprefs[0]->cap;
/seL4-mcs-10.1.1/src/arch/x86/object/
H A Dtcb.c57 rootSlot = excaps.excaprefs[0];
H A Diospace.c209 if (excaps.excaprefs[0] == NULL || length < 1) {
215 io_space = excaps.excaprefs[0]->cap;
329 if (excaps.excaprefs[0] == NULL || length < 2) {
349 io_space = excaps.excaprefs[0]->cap;
H A Dinterrupt.c102 if (length < 7 || excaps.excaprefs[0] == NULL) {
109 cnodeCap = excaps.excaprefs[0]->cap;
H A Dioport.c138 if (length < 4 || excaps.excaprefs[0] == NULL) {
149 cnodeCap = excaps.excaprefs[0]->cap;
H A Dvcpu.c578 if (excaps.excaprefs[0] == NULL) {
583 ioSlot = excaps.excaprefs[0];
584 ioCap = excaps.excaprefs[0]->cap;
914 if ( excaps.excaprefs[0] == NULL) {
919 tcbCap = excaps.excaprefs[0]->cap;
/seL4-mcs-10.1.1/src/arch/riscv/kernel/
H A Dvspace.c709 if (unlikely(length < 2 || extraCaps.excaprefs[0] == NULL)) {
723 cap_t lvl1ptCap = extraCaps.excaprefs[0]->cap;
803 if (unlikely(length < 3 || extraCaps.excaprefs[0] == NULL)) {
812 cap_t lvl1ptCap = extraCaps.excaprefs[0]->cap;
891 if (unlikely(length < 2 || extraCaps.excaprefs[0] == NULL)) {
899 cap_t lvl1ptCap = extraCaps.excaprefs[0]->cap;
1022 if (length < 2 || extraCaps.excaprefs[0] == NULL
1023 || extraCaps.excaprefs[1] == NULL) {
1030 parentSlot = extraCaps.excaprefs[0];
1032 root = extraCaps.excaprefs[
[all...]
/seL4-mcs-10.1.1/src/kernel/
H A Dthread.c194 caps.excaprefs[0] = NULL;
198 caps.excaprefs[0] = NULL;
237 if (likely(!caps.excaprefs[0] || !receiveBuffer)) {
243 for (i = 0; i < seL4_MsgMaxExtraCaps && caps.excaprefs[i] != NULL; i++) {
244 cte_t *slot = caps.excaprefs[i];
/seL4-mcs-10.1.1/src/arch/x86/kernel/
H A Dept.c313 if (length < 2 || excaps.excaprefs[0] == NULL) {
332 pml4Cap = excaps.excaprefs[0]->cap;
523 if (length < 2 || excaps.excaprefs[0] == NULL) {
540 pml4Cap = excaps.excaprefs[0]->cap;
716 if (length < 2 || excaps.excaprefs[0] == NULL) {
733 pml4Cap = excaps.excaprefs[0]->cap;
844 pml4Cap = excaps.excaprefs[0]->cap;
H A Dvspace.c974 if (length < 3 || excaps.excaprefs[0] == NULL) {
984 vspaceCap = excaps.excaprefs[0]->cap;
1099 if (length < 2 || excaps.excaprefs[0] == NULL) {
1115 vspaceCap = excaps.excaprefs[0]->cap;
1301 if (length < 2 || excaps.excaprefs[0] == NULL) {
1318 vspaceCap = excaps.excaprefs[0]->cap;
1420 if (length < 2 || excaps.excaprefs[0] == NULL
1421 || excaps.excaprefs[1] == NULL) {
1428 parentSlot = excaps.excaprefs[0];
1430 root = excaps.excaprefs[
[all...]
/seL4-mcs-10.1.1/src/arch/arm/64/kernel/
H A Dvspace.c1855 if (unlikely(length < 2 || extraCaps.excaprefs[0] == NULL)) {
1867 pgdCap = extraCaps.excaprefs[0]->cap;
1945 if (unlikely(length < 2 || extraCaps.excaprefs[0] == NULL)) {
1957 pgdCap = extraCaps.excaprefs[0]->cap;
2039 if (unlikely(length < 2 || extraCaps.excaprefs[0] == NULL)) {
2051 pgdCap = extraCaps.excaprefs[0]->cap;
2122 if (unlikely(length < 3 || extraCaps.excaprefs[0] == NULL)) {
2135 pgdCap = extraCaps.excaprefs[0]->cap;
2248 if (unlikely(length < 2 || extraCaps.excaprefs[0] == NULL)) {
2254 pgdCap = extraCaps.excaprefs[
[all...]
/seL4-mcs-10.1.1/src/arch/arm/32/kernel/
H A Dvspace.c2337 if (unlikely(length < 2 || excaps.excaprefs[0] == NULL)) {
2356 pdCap = excaps.excaprefs[0]->cap;
2445 if (unlikely(length < 3 || excaps.excaprefs[0] == NULL)) {
2456 pdCap = excaps.excaprefs[0]->cap;
2592 if (unlikely(length < 2 || excaps.excaprefs[0] == NULL)) {
2602 pdCap = excaps.excaprefs[0]->cap;
2854 if (unlikely(length < 2 || excaps.excaprefs[0] == NULL
2855 || excaps.excaprefs[1] == NULL)) {
2864 parentSlot = excaps.excaprefs[0];
2866 root = excaps.excaprefs[
[all...]
/seL4-mcs-10.1.1/src/arch/x86/64/kernel/
H A Dvspace.c1222 if (length < 2 || extraCaps.excaprefs[0] == NULL) {
1238 vspaceCap = extraCaps.excaprefs[0]->cap;
1389 if (length < 2 || extraCaps.excaprefs[0] == NULL) {
1405 vspaceCap = extraCaps.excaprefs[0]->cap;

Completed in 82 milliseconds