Searched refs:intrs (Results 1 - 3 of 3) sorted by relevance
/seL4-camkes-master/tools/rumprun/platform/hw/pci/ |
H A D | rumppci.c | 41 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 D | rumppci.c | 43 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 D | cpu_subr.c | 74 cpu_intr_ack(unsigned int intrs) argument
|
Completed in 39 milliseconds