Searched refs:proc_copy_badge (Results 1 - 2 of 2) sorted by relevance

/seL4-refos-master/projects/refos/impl/apps/process_server/src/system/process/
H A Dprocess.c109 proc_copy_badge(struct proc_pcb *p, seL4_CPtr destCSlot, seL4_CPtr ep, seL4_CapRights_t rights) function
121 dprintf("WARNING: proc_copy_badge to dest cslot %d failed.\n", destCSlot);
122 assert(!"proc_copy_badge failed to pass badge.");
159 proc_copy_badge (
164 (void) proc_copy_badge;
/seL4-refos-master/apps/process_server/src/system/process/
H A Dprocess.c109 proc_copy_badge(struct proc_pcb *p, seL4_CPtr destCSlot, seL4_CPtr ep, seL4_CapRights_t rights) function
121 dprintf("WARNING: proc_copy_badge to dest cslot %d failed.\n", destCSlot);
122 assert(!"proc_copy_badge failed to pass badge.");
159 proc_copy_badge (
164 (void) proc_copy_badge;

Completed in 29 milliseconds