src/object/tcb.c

1038     deriveCap_ret_t dc_ret;
1074         dc_ret = deriveCap(bufferSlot, bufferCap);
1075         if (dc_ret.status != EXCEPTION_NONE) {
1076             return dc_ret.status;
1078         bufferCap = dc_ret.cap;
1099     dc_ret = deriveCap(cRootSlot, cRootCap);
1100     if (dc_ret.status != EXCEPTION_NONE) {
1101         return dc_ret.status;
1103     cRootCap = dc_ret.cap;
1115     dc_ret = deriveCap(vRootSlot, vRootCap);
1116     if (dc_ret.status != EXCEPTION_NONE) {
1117         return dc_ret.status;
1119     vRootCap = dc_ret.cap;
1398         deriveCap_ret_t dc_ret;
1400         dc_ret = deriveCap(bufferSlot, bufferCap);
1401         if (dc_ret.status != EXCEPTION_NONE) {
1402             return dc_ret.status;
1404         bufferCap = dc_ret.cap;
1444     deriveCap_ret_t dc_ret;
1491     dc_ret = deriveCap(cRootSlot, cRootCap);
1492     if (dc_ret.status != EXCEPTION_NONE) {
1493         return dc_ret.status;
1495     cRootCap = dc_ret.cap;
1507     dc_ret = deriveCap(vRootSlot, vRootCap);
1508     if (dc_ret.status != EXCEPTION_NONE) {
1509         return dc_ret.status;
1511     vRootCap = dc_ret.cap;