Searched refs:dcn_level (Results 1 - 7 of 7) sorted by relevance

/barrelfish-2018-10-04/kernel/include/
H A Dsys_debug.h33 errval_t irq_debug_create_src_cap(uint8_t dcn_level, capaddr_t dcn,
/barrelfish-2018-10-04/lib/barrelfish/
H A Dsys_debug.c99 uint8_t dcn_level = get_cnode_level(cap); local
103 dcn_level, dcn_addr, cap.slot, start, end);
H A Dcapabilities.c315 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 Dcapabilities.h88 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 Dinvocations.h360 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 Dsys_debug.c129 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 Dirq.c515 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