Searched defs:out_cap_addr (Results 1 - 4 of 4) sorted by relevance
| /barrelfish-master/kernel/arch/arm/ |
| H A D | irq.c | 93 irq_table_alloc_dest_cap(uint8_t dcn_level, capaddr_t dcn, capaddr_t out_cap_addr, int vec_hint) argument
|
| /barrelfish-master/kernel/ |
| H A D | sys_debug.c | 129 irq_debug_create_src_cap(uint8_t dcn_level, capaddr_t dcn, capaddr_t out_cap_addr, uint64_t start, uint64_t end) argument
|
| /barrelfish-master/kernel/arch/x86_64/ |
| H A D | irq.c | 515 irq_table_alloc_dest_cap(uint8_t dcn_level, capaddr_t dcn, capaddr_t out_cap_addr, int vec_hint) argument
|
| /barrelfish-master/kernel/arch/x86_32/ |
| H A D | irq.c | 467 errval_t irq_table_alloc_dest_cap(uint8_t dcn_vbits, capaddr_t dcn, capaddr_t out_cap_addr) argument
442 irq_debug_create_src_cap(uint8_t dcn_vbits, capaddr_t dcn, capaddr_t out_cap_addr, uint64_t start, uint64_t end) argument
|
Completed in 43 milliseconds