Searched defs:new_kcb (Results 1 - 5 of 5) sorted by relevance

/barrelfish-master/kernel/
H A Dkcb.c23 void kcb_add(struct kcb* new_kcb) argument
[all...]
H A Dsyscall.c885 struct sysret sys_kernel_add_kcb(struct kcb *new_kcb) argument
/barrelfish-master/usr/drivers/cpuboot/
H A Dcommon.c139 errval_t give_kcb_to_new_core(coreid_t destination_id, struct capref new_kcb) argument
/barrelfish-master/kernel/arch/x86_32/
H A Dsyscall.c785 struct kcb *new_kcb = (struct kcb *)kcb_addr; local
/barrelfish-master/kernel/arch/x86_64/
H A Dsyscall.c1302 struct kcb *new_kcb = (struct kcb *)kcb_addr; local

Completed in 107 milliseconds