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

/barrelfish-2018-10-04/lib/pci/
H A Dpci_client.c96 struct capability irq_src_cap_data; local
98 err = debug_cap_identify(irq_src_cap, &irq_src_cap_data);
103 if(irq_src_cap_data.type != ObjType_IRQSrc){
105 "Driver not started by kaluga?\n", irq_src_cap_data.type);

Completed in 79 milliseconds