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

/seL4-camkes-master/tools/rumprun/platform/hw/arch/x86/
H A Dcpu_subr.c41 cpu_intr_init(int intr) argument
44 if (intr > 15)
48 switch (intr) {
62 if (intr < 8) {
63 pic1mask &= ~(1<<intr);
66 pic2mask &= ~(1<<(intr-8));
/seL4-camkes-master/tools/rumprun/platform/hw/
H A Dintr.c127 bmk_isr_rumpkernel(int (*func)(void *), void *arg, int intr, int flags) argument
132 if (intr > sizeof(isr_todo)*8 || intr > BMK_MAXINTR)
133 bmk_platform_halt("bmk_isr_rumpkernel: intr");
144 if (isr_routed[intr] == INTR_ROUTED_NOIDEA)
145 isr_routed[intr] = INTR_ROUTED_YES;
147 routedintr = routeintr(intr);
149 if (isr_routed[intr] == INTR_ROUTED_NOIDEA)
150 isr_routed[intr] = INTR_ROUTED_NO;
152 routedintr = intr;
[all...]
H A DMakefile29 SRCS+= intr.c clock_subr.c kernel.c multiboot.c undefs.c
/seL4-camkes-master/tools/rumprun/platform/sel4/
H A Dintr.c160 bmk_isr_rumpkernel(int (*func)(void *), void *arg, int intr, isr_type_t type) argument
163 intr = alloc_number();
166 if (intr > sizeof(isr_todo) * 8 || intr > BMK_MAXINTR) {
167 bmk_platform_halt("bmk_isr_rumpkernel: intr");
180 SLIST_INSERT_HEAD(&isr_ih[intr], ih, ih_entries);
181 if ((unsigned)intr < isr_lowest) {
182 isr_lowest = intr;
185 SLIST_INSERT_HEAD(&isr_ih_soft[intr], ih, ih_entries);
186 if ((unsigned)intr < isr_soft_lowes
[all...]
H A Dentry.c231 void rump_irq_handle(int intr, int soft_intr) argument
242 isr(intr, soft_intr);
268 int intr = bmk_isr_rumpkernel(stdio_handler, NULL, -1, SOFTWARE_EVENT); local
272 rump_irq_handle(0, BIT(intr));
H A DMakefile39 SRCS+= entry.c undefs.c kernel.c intr.c simple.c cons.c clock.c
/seL4-camkes-master/projects/projects_libs/libusbdrivers/src/ehci/
H A Ddebug.c193 uint32_t sts, cmd, intr; local
196 intr = edev->op_regs->usbintr;
249 (intr & EHCIINTR_ASYNC_ADV) ? "yes" : "no");
251 (intr & EHCIINTR_HOST_ERR) ? "yes" : "no");
253 (intr & EHCIINTR_FLIST_ROLL) ? "yes" : "no");
255 (intr & EHCIINTR_PORTC_DET) ? "yes" : "no");
257 (intr & EHCIINTR_USBERRINT) ? "yes" : "no");
259 (intr & EHCIINTR_USBINT) ? "yes" : "no");
/seL4-camkes-master/tools/rumprun/platform/hw/arch/amd64/
H A DMakefile.inc1 ASMS= arch/amd64/locore.S arch/amd64/intr.S
/seL4-camkes-master/tools/rumprun/platform/hw/arch/arm/integrator/
H A Dmachdep.c192 cpu_intr_init(int intr) argument
195 intmask |= 1<<intr;
/seL4-camkes-master/projects/seL4_projects_libs/libsel4vmmplatsupport/src/arch/arm/devices/
H A Dvusb.c79 uint32_t intr; member in struct:usb_ctrl_regs
124 vusb->ctrl_regs->intr = 1;
265 } else if (reg == &ctrl_regs->intr) {
294 if (vusb->ctrl_regs->intr) {
437 vusb->ctrl_regs->intr = 0;
/seL4-camkes-master/tools/rumprun/platform/sel4/include/sel4/rumprun/
H A Dcustom_simple.h126 void rump_irq_handle(int intr, int soft_intr);
/seL4-camkes-master/projects/projects_libs/libusbdrivers/src/plat/imx6/
H A Dotg-imx6.c229 uint32_t sts, cmd, intr; local
234 intr = odev->op_regs->usbintr;
248 printf(" port change: %s\n", (intr & EHCIINTR_PORTC_DET) ? "yes" : "no");
249 printf(" usb err: %s\n", (intr & EHCIINTR_USBERRINT) ? "yes" : "no");
250 printf(" usb event: %s\n", (intr & EHCIINTR_USBINT) ? "yes" : "no");
/seL4-camkes-master/projects/util_libs/libethdrivers/src/plat/imx6/uboot/
H A Dimx-regs.h337 uint32_t intr; member in struct:cspi_regs

Completed in 70 milliseconds