Searched refs:retcn (Results 1 - 4 of 4) sorted by last modified time

/barrelfish-master/usr/monitor/include/
H A Dmonitor_invocations.h108 capaddr_t retcn, int retcnlevel, cslot_t retslot)
111 clevel, retcn, retcnlevel, retslot).error;
129 invoke_monitor_delete_step(capaddr_t retcn, int retcnlevel, cslot_t retslot) argument
132 retcn, retcnlevel, retslot).error;
136 invoke_monitor_clear_step(capaddr_t retcn, int retcnlevel, cslot_t retslot) argument
139 retcn, retcnlevel, retslot).error;
143 invoke_monitor_reclaim_ram(capaddr_t retcn, int retcnlevel, cslot_t retslot) argument
146 retcn, retcnlevel, retslot).error;
107 invoke_monitor_delete_last(capaddr_t root, int rlevel, capaddr_t cap, int clevel, capaddr_t retcn, int retcnlevel, cslot_t retslot) argument
/barrelfish-master/usr/monitor/include/arch/x86_32/
H A Dmonitor_invocations_arch.h291 capaddr_t retcn, int retcnbits, cslot_t retslot)
298 retcn, retslot, ((cbits<<16)|(rbits<<8)|retcnbits)).error;
325 invoke_monitor_delete_step(capaddr_t retcn, int retcnbits, cslot_t retslot) argument
328 retcn, retcnbits, retslot).error;
332 invoke_monitor_clear_step(capaddr_t retcn, int retcnbits, cslot_t retslot) argument
335 retcn, retcnbits, retslot).error;
290 invoke_monitor_delete_last(capaddr_t root, int rbits, capaddr_t cap, int cbits, capaddr_t retcn, int retcnbits, cslot_t retslot) argument
/barrelfish-master/kernel/
H A Dsyscall.c604 struct capability *retcn; local
605 err = caps_lookup_cap(root, retcn_cptr, 1, &retcn, CAPRIGHTS_READ_WRITE);
609 struct cte *ret = caps_locate_slot(get_address(retcn), retslot);
H A Dmonitor.c395 struct capability *retcn; local
397 ret_cn_level, &retcn, CAPRIGHTS_WRITE);
402 if (retcn->type != ObjType_L1CNode &&
403 retcn->type != ObjType_L2CNode) {
406 if (ret_slot > cnode_get_slots(retcn)) {
410 struct cte *retslot = caps_locate_slot(get_address(retcn), ret_slot);
453 struct capability *retcn; local
455 &retcn, CAPRIGHTS_WRITE);
460 if (retcn->type != ObjType_L1CNode &&
461 retcn
[all...]

Completed in 61 milliseconds