Searched refs:new_kcb (Results 1 - 8 of 8) sorted by last modified time

/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
146 errval_t err = mc->rpc_tx_vtbl.forward_kcb_request(mc, destination_id, new_kcb,
H A Dcoreboot.h70 errval_t give_kcb_to_new_core(coreid_t destination_id, struct capref new_kcb);
/barrelfish-master/kernel/
H A Dsyscall.c885 struct sysret sys_kernel_add_kcb(struct kcb *new_kcb) argument
887 kcb_add(new_kcb);
890 new_kcb->kernel_off -= systime_now();
894 kcb_update_core_id(new_kcb);
896 irq_table_notify_domains(new_kcb);
H A Dkcb.c23 void kcb_add(struct kcb* new_kcb) argument
29 new_kcb->next = kcb_current->next;
30 new_kcb->prev = kcb_current;
31 new_kcb->next->prev = new_kcb;
32 new_kcb->prev->next = new_kcb;
35 kcb_current->next = kcb_current->prev = new_kcb;
36 new_kcb->next = new_kcb
[all...]
/barrelfish-master/kernel/include/
H A Dsyscall.h76 struct sysret sys_kernel_add_kcb(struct kcb* new_kcb);
H A Dkcb.h112 void kcb_add(struct kcb* new_kcb);
/barrelfish-master/kernel/arch/x86_64/
H A Dsyscall.c1302 struct kcb *new_kcb = (struct kcb *)kcb_addr; local
1304 return sys_kernel_add_kcb(new_kcb);
/barrelfish-master/kernel/arch/x86_32/
H A Dsyscall.c785 struct kcb *new_kcb = (struct kcb *)kcb_addr; local
787 return sys_kernel_add_kcb(new_kcb);

Completed in 60 milliseconds