/barrelfish-master/usr/monitor/ |
H A D | monitor_rpc_server.c | 497 forward_kcb_request(struct monitor_blocking_binding *b, coreid_t destination, struct capref kcb) argument 550 forward_kcb_rm_request(struct monitor_blocking_binding *b, coreid_t destination, struct capref kcb) argument
|
/barrelfish-master/usr/drivers/cpuboot/ |
H A D | main.c | 221 struct capref kcb; local 274 struct capref kcb; local 346 struct capref kcb; local 377 struct capref kcb; local [all...] |
/barrelfish-master/usr/drivers/cpuboot/arch/armv8/ |
H A D | boot_arch.c | 627 spawn_xcore_monitor(coreid_t coreid, hwid_t hwid, enum cpu_type cpu_type, const char *cmdline, struct frame_identity urpc_frame_id, struct capref kcb) argument
|
/barrelfish-master/usr/drivers/cpuboot/arch/x86/ |
H A D | boot_arch.c | 504 spawn_xcore_monitor(coreid_t coreid, hwid_t hwid, enum cpu_type cpu_type, const char *cmdline, struct frame_identity urpc_frame_id, struct capref kcb) argument
|
/barrelfish-master/usr/drivers/cpuboot/arch/armv7/ |
H A D | boot_arch.c | 461 spawn_xcore_monitor(coreid_t coreid, hwid_t hwid, enum cpu_type cpu_type, const char *cmdline, struct frame_identity urpc_frame_id, struct capref kcb) argument
|
/barrelfish-master/tools/schedsim/ |
H A D | simulator.c | 73 struct kcb { struct
|
/barrelfish-master/kernel/ |
H A D | sys_debug.c | 51 struct kcb *kcb = (struct kcb*) local_phys_to_mem(get_address(&cte->cap)); local
|
H A D | kcb.c | 84 void kcb_update_core_id(struct kcb *kcb) argument [all...] |
/barrelfish-master/kernel/include/ |
H A D | kcb.h | 37 struct kcb { struct [all...] |
/barrelfish-master/kernel/arch/x86_64/ |
H A D | irq.c | 618 errval_t irq_table_notify_domains(struct kcb *kcb) argument [all...] |
/barrelfish-master/kernel/arch/x86_32/ |
H A D | irq.c | 563 errval_t irq_table_notify_domains(struct kcb *kcb) argument [all...] |
/barrelfish-master/kernel/arch/arm/ |
H A D | irq.c | 123 errval_t irq_table_notify_domains(struct kcb *kcb) argument
|
/barrelfish-master/include/target/x86/barrelfish_kpi/ |
H A D | coredata_target.h | 72 genpaddr_t kcb; ///< The kernel control block, this should fully replace x86_core_data at some point member in struct:x86_core_data
|
/barrelfish-master/include/target/arm/barrelfish_kpi/ |
H A D | arm_core_data.h | 54 lvaddr_t kcb; member in struct:arm_core_data
|
/barrelfish-master/include/target/aarch64/barrelfish_kpi/ |
H A D | arm_core_data.h | 107 genpaddr_t kcb; ///< The kernel control block member in struct:armv8_core_data
|
/barrelfish-master/include/mdb/ |
H A D | mdb_tree.h | 76 struct kcb { struct
|
/barrelfish-master/include/barrelfish/ |
H A D | invocations.h | 234 static inline errval_t invoke_kcb_identify(struct capref kcb, argument
|