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

/seL4-test-master/kernel/include/
H A Dcompound_types.h29 cte_ptr_t excaprefs[seL4_MsgMaxExtraCaps]; member in struct:extra_caps
/seL4-test-master/kernel/src/arch/riscv/object/
H A Dinterrupt.c38 if (length < 4 || excaps.excaprefs[0] == NULL) {
55 cap_t cnodeCap = excaps.excaprefs[0]->cap;
/seL4-test-master/kernel/src/object/
H A Dinterrupt.c35 if (length < 3 || excaps.excaprefs[0] == NULL) {
44 cnodeCap = excaps.excaprefs[0]->cap;
100 if (excaps.excaprefs[0] == NULL) {
104 ntfnCap = excaps.excaprefs[0]->cap;
105 slot = excaps.excaprefs[0];
H A Dtcb.c391 current_extra_caps.excaprefs[0] = NULL;
406 current_extra_caps.excaprefs[i] = lu_ret.slot;
409 current_extra_caps.excaprefs[i] = NULL;
891 if (length < 1 || excaps.excaprefs[0] == NULL) {
901 source_cap = excaps.excaprefs[0]->cap;
1045 if (length < TCBCONFIGURE_ARGS || rootCaps.excaprefs[0] == NULL
1046 || rootCaps.excaprefs[1] == NULL
1047 || rootCaps.excaprefs[2] == NULL) {
1064 cRootSlot = rootCaps.excaprefs[0];
1065 cRootCap = rootCaps.excaprefs[
[all...]
H A Duntyped.c52 if (length < 6 || excaps.excaprefs[0] == NULL) {
66 rootSlot = excaps.excaprefs[0];
116 nodeCap = excaps.excaprefs[0]->cap;
118 cap_t rootCap = excaps.excaprefs[0]->cap;
H A Dschedcontrol.c91 if (extraCaps.excaprefs[0] == NULL) {
108 cap_t targetCap = extraCaps.excaprefs[0]->cap;
H A Dschedcontext.c28 if (extraCaps.excaprefs[0] == NULL) {
34 cap_t cap = extraCaps.excaprefs[0]->cap;
86 if (extraCaps.excaprefs[0] == NULL) {
92 cap_t cap = extraCaps.excaprefs[0]->cap;
H A Dcnode.c83 if (length < 4 || excaps.excaprefs[0] == NULL) {
91 srcRoot = excaps.excaprefs[0]->cap;
238 if (length < 8 || excaps.excaprefs[0] == NULL
239 || excaps.excaprefs[1] == NULL) {
250 pivotRoot = excaps.excaprefs[0]->cap;
251 srcRoot = excaps.excaprefs[1]->cap;
/seL4-test-master/kernel/src/arch/arm/object/
H A Dinterrupt.c26 if (length < 4 || excaps.excaprefs[0] == NULL) {
43 cap_t cnodeCap = excaps.excaprefs[0]->cap;
87 cap_t cnodeCap = excaps.excaprefs[0]->cap;
H A Dsmmu.c55 if (length < 3 || extraCaps.excaprefs[0] == NULL) {
63 cnodeCap = extraCaps.excaprefs[0]->cap;
109 if (unlikely(extraCaps.excaprefs[0] == NULL)) {
114 cbCapSlot = extraCaps.excaprefs[0];
206 if (length < 3 || extraCaps.excaprefs[0] == NULL) {
214 cnodeCap = extraCaps.excaprefs[0]->cap;
276 if (unlikely(extraCaps.excaprefs[0] == NULL)) {
281 vspaceCapSlot = extraCaps.excaprefs[0];
H A Diospace.c167 if (excaps.excaprefs[0] == NULL || length < 1) {
179 io_space = excaps.excaprefs[0]->cap;
263 if (excaps.excaprefs[0] == NULL || length < 2) {
283 io_space = excaps.excaprefs[0]->cap;
H A Dvcpu.c528 if (extraCaps.excaprefs[0] == NULL) {
533 tcbCap = extraCaps.excaprefs[0]->cap;
/seL4-test-master/kernel/src/arch/x86/object/
H A Dtcb.c53 rootSlot = excaps.excaprefs[0];
H A Diospace.c198 if (excaps.excaprefs[0] == NULL || length < 1) {
204 io_space = excaps.excaprefs[0]->cap;
316 if (excaps.excaprefs[0] == NULL || length < 2) {
336 io_space = excaps.excaprefs[0]->cap;
H A Dinterrupt.c95 if (length < 7 || excaps.excaprefs[0] == NULL) {
102 cnodeCap = excaps.excaprefs[0]->cap;
H A Dioport.c127 if (length < 4 || excaps.excaprefs[0] == NULL) {
138 cnodeCap = excaps.excaprefs[0]->cap;
H A Dvcpu.c555 if (excaps.excaprefs[0] == NULL) {
560 ioSlot = excaps.excaprefs[0];
561 ioCap = excaps.excaprefs[0]->cap;
883 if (excaps.excaprefs[0] == NULL) {
888 tcbCap = excaps.excaprefs[0]->cap;
/seL4-test-master/kernel/src/kernel/
H A Dthread.c204 caps.excaprefs[0] = NULL;
208 caps.excaprefs[0] = NULL;
245 if (likely(!caps.excaprefs[0] || !receiveBuffer)) {
251 for (i = 0; i < seL4_MsgMaxExtraCaps && caps.excaprefs[i] != NULL; i++) {
252 cte_t *slot = caps.excaprefs[i];
/seL4-test-master/kernel/src/arch/riscv/kernel/
H A Dvspace.c709 if (unlikely(length < 2 || extraCaps.excaprefs[0] == NULL)) {
722 cap_t lvl1ptCap = extraCaps.excaprefs[0]->cap;
801 if (unlikely(length < 3 || extraCaps.excaprefs[0] == NULL)) {
810 cap_t lvl1ptCap = extraCaps.excaprefs[0]->cap;
959 if (length < 2 || extraCaps.excaprefs[0] == NULL
960 || extraCaps.excaprefs[1] == NULL) {
967 parentSlot = extraCaps.excaprefs[0];
969 root = extraCaps.excaprefs[1]->cap;
1026 if (extraCaps.excaprefs[0] == NULL) {
1032 vspaceCapSlot = extraCaps.excaprefs[
[all...]
/seL4-test-master/kernel/src/arch/x86/kernel/
H A Dept.c295 if (length < 2 || excaps.excaprefs[0] == NULL) {
314 pml4Cap = excaps.excaprefs[0]->cap;
500 if (length < 2 || excaps.excaprefs[0] == NULL) {
517 pml4Cap = excaps.excaprefs[0]->cap;
688 if (length < 2 || excaps.excaprefs[0] == NULL) {
705 pml4Cap = excaps.excaprefs[0]->cap;
814 pml4Cap = excaps.excaprefs[0]->cap;
H A Dvspace.c947 if (length < 3 || excaps.excaprefs[0] == NULL) {
957 vspaceCap = excaps.excaprefs[0]->cap;
1165 if (length < 2 || excaps.excaprefs[0] == NULL) {
1182 vspaceCap = excaps.excaprefs[0]->cap;
1284 if (length < 2 || excaps.excaprefs[0] == NULL
1285 || excaps.excaprefs[1] == NULL) {
1292 parentSlot = excaps.excaprefs[0];
1294 root = excaps.excaprefs[1]->cap;
1352 if (excaps.excaprefs[0] == NULL) {
1358 vspaceCapSlot = excaps.excaprefs[
[all...]
/seL4-test-master/kernel/src/arch/arm/64/kernel/
H A Dvspace.c1815 if (unlikely(length < 2 || extraCaps.excaprefs[0] == NULL)) {
1827 pgdCap = extraCaps.excaprefs[0]->cap;
1903 if (unlikely(length < 2 || extraCaps.excaprefs[0] == NULL)) {
1915 vspaceRootCap = extraCaps.excaprefs[0]->cap;
1996 if (unlikely(length < 2 || extraCaps.excaprefs[0] == NULL)) {
2008 vspaceRootCap = extraCaps.excaprefs[0]->cap;
2078 if (unlikely(length < 3 || extraCaps.excaprefs[0] == NULL)) {
2085 vspaceRootCap = extraCaps.excaprefs[0]->cap;
2311 extraCaps.excaprefs[0] == NULL ||
2312 extraCaps.excaprefs[
[all...]
/seL4-test-master/kernel/src/arch/arm/32/kernel/
H A Dvspace.c2185 if (unlikely(length < 2 || excaps.excaprefs[0] == NULL)) {
2204 pdCap = excaps.excaprefs[0]->cap;
2293 if (unlikely(length < 3 || excaps.excaprefs[0] == NULL)) {
2304 pdCap = excaps.excaprefs[0]->cap;
2583 if (unlikely(length < 2 || excaps.excaprefs[0] == NULL
2584 || excaps.excaprefs[1] == NULL)) {
2593 parentSlot = excaps.excaprefs[0];
2595 root = excaps.excaprefs[1]->cap;
2659 if (unlikely(excaps.excaprefs[0] == NULL)) {
2666 pdCapSlot = excaps.excaprefs[
[all...]
/seL4-test-master/kernel/src/arch/x86/64/kernel/
H A Dvspace.c1169 if (length < 2 || extraCaps.excaprefs[0] == NULL) {
1185 vspaceCap = extraCaps.excaprefs[0]->cap;
1334 if (length < 2 || extraCaps.excaprefs[0] == NULL) {
1350 vspaceCap = extraCaps.excaprefs[0]->cap;

Completed in 122 milliseconds