Searched defs:irq_debug_create_src_cap (Results 1 - 2 of 2) sorted by relevance

/barrelfish-master/kernel/
H A Dsys_debug.c129 errval_t irq_debug_create_src_cap(uint8_t dcn_level, capaddr_t dcn, function
/barrelfish-master/kernel/arch/x86_32/
H A Dirq.c442 errval_t irq_debug_create_src_cap(uint8_t dcn_vbits, capaddr_t dcn, function

Completed in 86 milliseconds