Searched refs:retcn (Results 1 - 4 of 4) sorted by last modified time
/barrelfish-master/usr/monitor/include/ |
H A D | monitor_invocations.h | 108 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 D | monitor_invocations_arch.h | 291 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 D | syscall.c | 604 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 D | monitor.c | 395 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