Searched refs:intr (Results 1 - 13 of 13) sorted by relevance
/seL4-camkes-master/tools/rumprun/platform/hw/arch/x86/ |
H A D | cpu_subr.c | 41 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 D | intr.c | 127 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 D | Makefile | 29 SRCS+= intr.c clock_subr.c kernel.c multiboot.c undefs.c
|
/seL4-camkes-master/tools/rumprun/platform/sel4/ |
H A D | intr.c | 160 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 D | entry.c | 231 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 D | Makefile | 39 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 D | debug.c | 193 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 D | Makefile.inc | 1 ASMS= arch/amd64/locore.S arch/amd64/intr.S
|
/seL4-camkes-master/tools/rumprun/platform/hw/arch/arm/integrator/ |
H A D | machdep.c | 192 cpu_intr_init(int intr) argument 195 intmask |= 1<<intr;
|
/seL4-camkes-master/projects/seL4_projects_libs/libsel4vmmplatsupport/src/arch/arm/devices/ |
H A D | vusb.c | 79 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 D | custom_simple.h | 126 void rump_irq_handle(int intr, int soft_intr);
|
/seL4-camkes-master/projects/projects_libs/libusbdrivers/src/plat/imx6/ |
H A D | otg-imx6.c | 229 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 D | imx-regs.h | 337 uint32_t intr; member in struct:cspi_regs
|
Completed in 70 milliseconds