Searched refs:bufferCap (Results 1 - 6 of 6) sorted by relevance
| /seL4-test-master/kernel/src/object/ |
| H A D | tcb.c | 1037 cap_t bufferCap, cRootCap, vRootCap; local
1069 bufferCap = rootCaps.excaprefs[2]->cap;
1074 dc_ret = deriveCap(bufferSlot, bufferCap);
1078 bufferCap = dc_ret.cap;
1080 exception_t e = checkValidIPCBuffer(bufferAddr, bufferCap);
1135 bufferAddr, bufferCap,
1144 bufferAddr, bufferCap,
1381 cap_t bufferCap; local
1392 bufferCap = excaps.excaprefs[0]->cap;
1400 dc_ret = deriveCap(bufferSlot, bufferCap);
1690 invokeTCB_ThreadControlCaps(tcb_t *target, cte_t *slot, cap_t fh_newCap, cte_t *fh_srcSlot, cap_t th_newCap, cte_t *th_srcSlot, 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
1752 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-test-master/kernel/include/object/ |
| H A D | tcb.h | 194 word_t bufferAddr, cap_t bufferCap,
207 cap_t bufferCap, cte_t *bufferSrcSlot,
|
| /seL4-test-master/kernel/src/arch/riscv/kernel/ |
| H A D | vspace.c | 359 cap_t bufferCap; local
363 bufferCap = TCB_PTR_CTE_PTR(thread, tcbBuffer)->cap;
365 if (unlikely(cap_get_capType(bufferCap) != cap_frame_cap)) {
368 if (unlikely(cap_frame_cap_get_capFIsDevice(bufferCap))) {
372 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-test-master/kernel/src/arch/x86/kernel/ |
| H A D | vspace.c | 96 cap_t bufferCap; local
100 bufferCap = TCB_PTR_CTE_PTR(thread, tcbBuffer)->cap;
102 if (cap_get_capType(bufferCap) != cap_frame_cap) {
105 if (unlikely(cap_frame_cap_get_capFIsDevice(bufferCap))) {
109 vm_rights = cap_frame_cap_get_capFVMRights(bufferCap);
113 basePtr = cap_frame_cap_get_capFBasePtr(bufferCap);
114 pageBits = pageBitsForSize(cap_frame_cap_get_capFSize(bufferCap));
|
| /seL4-test-master/kernel/src/arch/arm/32/kernel/ |
| H A D | vspace.c | 673 cap_t bufferCap; local
677 bufferCap = TCB_PTR_CTE_PTR(thread, tcbBuffer)->cap;
679 if (unlikely(cap_get_capType(bufferCap) != cap_small_frame_cap &&
680 cap_get_capType(bufferCap) != cap_frame_cap)) {
683 if (unlikely(generic_frame_cap_get_capFIsDevice(bufferCap))) {
687 vm_rights = generic_frame_cap_get_capFVMRights(bufferCap);
693 basePtr = generic_frame_cap_get_capFBasePtr(bufferCap);
694 pageBits = pageBitsForSize(generic_frame_cap_get_capFSize(bufferCap));
|
| /seL4-test-master/kernel/src/arch/arm/64/kernel/ |
| H A D | vspace.c | 591 cap_t bufferCap; local
595 bufferCap = TCB_PTR_CTE_PTR(thread, tcbBuffer)->cap;
597 if (unlikely(cap_get_capType(bufferCap) != cap_frame_cap)) {
600 if (unlikely(cap_frame_cap_get_capFIsDevice(bufferCap))) {
604 vm_rights = cap_frame_cap_get_capFVMRights(bufferCap);
610 basePtr = cap_frame_cap_get_capFBasePtr(bufferCap);
611 pageBits = pageBitsForSize(cap_frame_cap_get_capFSize(bufferCap));
|
Completed in 112 milliseconds