Searched refs:dcn_level (Results 1 - 7 of 7) sorted by relevance
/barrelfish-2018-10-04/kernel/include/ |
H A D | sys_debug.h | 33 errval_t irq_debug_create_src_cap(uint8_t dcn_level, capaddr_t dcn,
|
/barrelfish-2018-10-04/lib/barrelfish/ |
H A D | sys_debug.c | 99 uint8_t dcn_level = get_cnode_level(cap); local 103 dcn_level, dcn_addr, cap.slot, start, end);
|
H A D | capabilities.c | 315 enum cnode_type dcn_level = get_cnode_level(dest_start); local 322 objsize, count, dcs_addr, dcn_addr, dcn_level, 330 dcn_level);
|
/barrelfish-2018-10-04/include/barrelfish/ |
H A D | capabilities.h | 88 uint8_t dcn_level = get_cnode_level(dest); local 94 scp_root, scp_addr, dcn_level, scp_level, 153 uint8_t dcn_level = get_cnode_level(dest); local 157 scp_addr, dcn_level, scp_level);
|
H A D | invocations.h | 360 uint8_t dcn_level = get_cnode_level(dest_cap); local 363 dcn_level, dcn_addr, dest_cap.slot);
|
/barrelfish-2018-10-04/kernel/ |
H A D | sys_debug.c | 129 errval_t irq_debug_create_src_cap(uint8_t dcn_level, capaddr_t dcn, argument 141 err = caps_lookup_slot(&dcb_current->cspace.cap, dcn, dcn_level, &cn,
|
/barrelfish-2018-10-04/kernel/arch/x86_64/ |
H A D | irq.c | 515 errval_t irq_table_alloc_dest_cap(uint8_t dcn_level, capaddr_t dcn, capaddr_t out_cap_addr) argument 547 err = caps_lookup_slot(&dcb_current->cspace.cap, dcn, dcn_level,
|
Completed in 123 milliseconds