Searched refs:bufferCap (Results 1 - 6 of 6) sorted by relevance
| /seL4-l4v-10.1.1/seL4/src/object/ |
| H A D | tcb.c | 930 cap_t bufferCap, cRootCap, vRootCap; local
953 bufferCap = rootCaps.excaprefs[2]->cap;
958 dc_ret = deriveCap(bufferSlot, bufferCap);
962 bufferCap = dc_ret.cap;
964 exception_t e = checkValidIPCBuffer(bufferAddr, bufferCap);
1017 bufferAddr, bufferCap,
1148 cap_t bufferCap; local
1159 bufferCap = excaps.excaprefs[0]->cap;
1167 dc_ret = deriveCap(bufferSlot, bufferCap);
1171 bufferCap
1393 invokeTCB_ThreadControl(tcb_t *target, cte_t* slot, cptr_t faultep, prio_t mcp, prio_t priority, cap_t cRoot_newCap, cte_t *cRoot_srcSlot, cap_t vRoot_newCap, cte_t *vRoot_srcSlot, word_t bufferAddr, cap_t bufferCap, cte_t *bufferSrcSlot, thread_control_flag_t updateFlags) argument
[all...] |
| /seL4-l4v-10.1.1/seL4/src/arch/riscv/kernel/ |
| H A D | vspace.c | 358 cap_t bufferCap; local
362 bufferCap = TCB_PTR_CTE_PTR(thread, tcbBuffer)->cap;
364 if (unlikely(cap_get_capType(bufferCap) != cap_frame_cap)) {
367 if (unlikely(cap_frame_cap_get_capFIsDevice(bufferCap))) {
371 vm_rights = cap_frame_cap_get_capFVMRights(bufferCap);
377 basePtr = cap_frame_cap_get_capFBasePtr(bufferCap);
378 pageBits = pageBitsForSize(cap_frame_cap_get_capFSize(bufferCap));
|
| /seL4-l4v-10.1.1/seL4/include/object/ |
| H A D | tcb.h | 126 cap_t bufferCap, cte_t *bufferSrcSlot,
|
| /seL4-l4v-10.1.1/seL4/src/arch/x86/kernel/ |
| H A D | vspace.c | 101 cap_t bufferCap; local
105 bufferCap = TCB_PTR_CTE_PTR(thread, tcbBuffer)->cap;
107 if (cap_get_capType(bufferCap) != cap_frame_cap) {
110 if (unlikely(cap_frame_cap_get_capFIsDevice(bufferCap))) {
114 vm_rights = cap_frame_cap_get_capFVMRights(bufferCap);
118 basePtr = cap_frame_cap_get_capFBasePtr(bufferCap);
119 pageBits = pageBitsForSize(cap_frame_cap_get_capFSize(bufferCap));
|
| /seL4-l4v-10.1.1/seL4/src/arch/arm/32/kernel/ |
| H A D | vspace.c | 713 cap_t bufferCap; local
717 bufferCap = TCB_PTR_CTE_PTR(thread, tcbBuffer)->cap;
719 if (unlikely(cap_get_capType(bufferCap) != cap_small_frame_cap &&
720 cap_get_capType(bufferCap) != cap_frame_cap)) {
723 if (unlikely (generic_frame_cap_get_capFIsDevice(bufferCap))) {
727 vm_rights = generic_frame_cap_get_capFVMRights(bufferCap);
733 basePtr = generic_frame_cap_get_capFBasePtr(bufferCap);
734 pageBits = pageBitsForSize(generic_frame_cap_get_capFSize(bufferCap));
|
| /seL4-l4v-10.1.1/seL4/src/arch/arm/64/kernel/ |
| H A D | vspace.c | 632 cap_t bufferCap; local
636 bufferCap = TCB_PTR_CTE_PTR(thread, tcbBuffer)->cap;
638 if (unlikely(cap_get_capType(bufferCap) != cap_frame_cap)) {
641 if (unlikely(cap_frame_cap_get_capFIsDevice(bufferCap))) {
645 vm_rights = cap_frame_cap_get_capFVMRights(bufferCap);
651 basePtr = cap_frame_cap_get_capFBasePtr(bufferCap);
652 pageBits = pageBitsForSize(cap_frame_cap_get_capFSize(bufferCap));
|
Completed in 108 milliseconds