barrelfish-master/kernel/dispatch.c

214             printk(LOG_NOTE, "deleting source of lmp captransfer failed: %"PRIuERRV"\n", err);
280  * \param captransfer True iff a cap has also been delivered
286                              bool captransfer, bool now)
319     recvheader.x.flags.captransfer = captransfer;
367     bool captransfer;
389         captransfer = true;
391         captransfer = false;
395     err = lmp_deliver_payload(ep, send, payload, len, captransfer, false);
397     assert(!(captransfer && err_is_fail(err)));