| /barrelfish-2018-10-04/usr/monitor/ |
| H A D | monitor_rpc_server.c | 438 forward_kcb_request(struct monitor_blocking_binding *b, coreid_t destination, struct capref kcb) argument
491 forward_kcb_rm_request(struct monitor_blocking_binding *b, coreid_t destination, struct capref kcb) argument
|
| /barrelfish-2018-10-04/usr/drivers/cpuboot/ |
| H A D | main.c | 220 struct capref kcb; local
269 struct capref kcb; local
337 struct capref kcb; local
368 struct capref kcb; local
[all...] |
| /barrelfish-2018-10-04/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-2018-10-04/usr/drivers/cpuboot/arch/armv8/ |
| H A D | boot_arch.c | 623 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-2018-10-04/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-2018-10-04/tools/schedsim/ |
| H A D | simulator.c | 73 struct kcb { struct
|
| /barrelfish-2018-10-04/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-2018-10-04/kernel/include/ |
| H A D | kcb.h | 36 struct kcb { struct
[all...] |
| /barrelfish-2018-10-04/kernel/arch/x86_64/ |
| H A D | irq.c | 612 errval_t irq_table_notify_domains(struct kcb *kcb) argument
[all...] |
| /barrelfish-2018-10-04/kernel/arch/x86_32/ |
| H A D | irq.c | 563 errval_t irq_table_notify_domains(struct kcb *kcb) argument
[all...] |
| /barrelfish-2018-10-04/kernel/arch/arm/ |
| H A D | irq.c | 102 errval_t irq_table_notify_domains(struct kcb *kcb) argument
|
| /barrelfish-2018-10-04/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-2018-10-04/include/target/arm/barrelfish_kpi/ |
| H A D | arm_core_data.h | 54 lvaddr_t kcb; member in struct:arm_core_data
|
| /barrelfish-2018-10-04/include/target/aarch64/barrelfish_kpi/ |
| H A D | arm_core_data.h | 104 genpaddr_t kcb; ///< The kernel control block member in struct:armv8_core_data
|
| /barrelfish-2018-10-04/include/mdb/ |
| H A D | mdb_tree.h | 76 struct kcb { struct
|