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

/seL4-camkes-master/tools/rumprun/platform/hw/pci/
H A Drumppci.c41 int intrs; member in struct:__anon895
144 static int intrs[BMK_MAXINTR]; variable
154 intrs[cookie] = intrline;
156 pci_data[cookie].intrs = intrline;
168 bmk_isr_rumpkernel(handler, data, intrs[cookie], BMK_INTR_ROUTED);
169 return &intrs[cookie];
/seL4-camkes-master/tools/rumprun/platform/sel4/pci/
H A Drumppci.c43 int intrs; member in struct:__anon903
150 pci_data[cookie].intrs = intrline;
172 if (env.caps[pci_data[cookie].intrs] == 0 && !env.custom_simple.camkes) {
173 int error = vka_cspace_alloc(&env.vka, &env.caps[pci_data[cookie].intrs]);
176 vka_cspace_make_path(&env.vka, env.caps[pci_data[cookie].intrs], &path);
179 int irq = pci_data[cookie].intrs;
203 error = seL4_IRQHandler_Ack(env.caps[pci_data[cookie].intrs]);
210 error = seL4_IRQControl_Get(simple_get_irq_ctrl(&env.simple), pci_data[cookie].intrs, path.root, path.capPtr,
213 error = seL4_IRQHandler_Ack(env.caps[pci_data[cookie].intrs]);
219 seL4_AllRights, 1 << (pci_data[cookie].intrs));
[all...]
/seL4-camkes-master/tools/rumprun/platform/hw/arch/x86/
H A Dcpu_subr.c74 cpu_intr_ack(unsigned int intrs) argument

Completed in 39 milliseconds