src/object/tcb.c

930     cap_t bufferCap, cRootCap, vRootCap;
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;
1159     bufferCap  = excaps.excaprefs[0]->cap;
1167         dc_ret = deriveCap(bufferSlot, bufferCap);
1171         bufferCap = dc_ret.cap;
1172         e = checkValidIPCBuffer(cptr_bufferPtr, bufferCap);
1184                cptr_bufferPtr, bufferCap,
1397                         word_t bufferAddr, cap_t bufferCap,
1456         if (bufferSrcSlot && sameObjectAs(bufferCap, bufferSrcSlot->cap) &&
1458             cteInsert(bufferCap, bufferSrcSlot, bufferSlot);