Searched refs:isr (Results 1 - 15 of 15) sorted by relevance
| /seL4-camkes-master/tools/rumprun/platform/hw/include/hw/ |
| H A D | kernel.h | 22 void isr(int);
|
| /seL4-camkes-master/tools/rumprun/platform/sel4/include/sel4/ |
| H A D | kernel.h | 32 void isr(int, int);
|
| /seL4-camkes-master/kernel/include/drivers/timer/ |
| H A D | arm_global.h | 26 uint32_t isr; member in struct:timer
74 assert(getCurrentTime() < deadline || globalTimer->isr == 1u);
82 /* ack the isr */
83 globalTimer->isr = 1;
|
| /seL4-camkes-master/projects/seL4_projects_libs/libsel4vm/src/arch/x86/i8259/ |
| H A D | i8259.c | 57 unsigned char isr; /* Interrupt service register */ member in struct:i8259_state
155 mask = s->isr;
172 s->isr &= ~(1 << irq);
330 priority = get_priority(s, s->isr);
414 s->pics_state->pics[0].isr &= ~(1 << 2);
444 ret = s->isr;
550 s->isr |= 1 << irq;
|
| /seL4-camkes-master/projects/util_libs/libethdrivers/src/plat/zynq7000/ |
| H A D | zynq7000.c | 273 u32 isr = readl(®s->isr); local
274 writel(isr, ®s->isr);
276 if (isr & ZYNQ_GEM_IXR_TXCOMPLETE) {
284 if (isr & ZYNQ_GEM_IXR_FRAMERX) {
|
| H A D | zynq_gem.h | 115 u32 isr; member in struct:zynq_gem_regs
|
| /seL4-camkes-master/tools/rumprun/platform/hw/arch/amd64/ |
| H A D | intr.S | 118 * note: interrupt is acked on the PIC as part of isr
130 call isr ;\
|
| /seL4-camkes-master/tools/rumprun/platform/hw/arch/arm/integrator/ |
| H A D | machdep.c | 142 isr(intstat);
|
| /seL4-camkes-master/projects/util_libs/libplatsupport/src/mach/zynq/ |
| H A D | serial.c | 152 uint32_t isr; /* 0x14 Channel Interrupt Status Register (write a 1 to clear) */ member in struct:zynq_uart_regs
201 if (regs->isr & UART_ISR_TIMEOUT) {
202 regs->isr = UART_ISR_TIMEOUT;
248 regs->isr = UART_ISR_RTRIG;
|
| /seL4-camkes-master/tools/rumprun/platform/hw/arch/i386/ |
| H A D | locore.S | 193 * note: interrupt is acked on the PIC as part of isr
203 call isr ;\
|
| /seL4-camkes-master/tools/rumprun/platform/hw/ |
| H A D | intr.c | 175 isr(int which) function
|
| /seL4-camkes-master/tools/rumprun/platform/sel4/ |
| H A D | intr.c | 194 isr(int which, int soft_which) function
|
| H A D | entry.c | 242 isr(intr, soft_intr);
|
| /seL4-camkes-master/projects/seL4_projects_libs/libsel4vm/src/arch/x86/processor/ |
| H A D | lapic.c | 392 int isr; local
397 isr = apic_find_highest_isr(apic);
398 isrv = (isr != -1) ? isr : 0;
406 apic_debug(6, "vlapic %p, ppr 0x%x, isr 0x%x, isrv 0x%x\n",
407 apic, ppr, isr, isrv);
|
| H A D | apicdef.h | 286 } isr [8]; member in struct:local_apic_regs
|
Completed in 155 milliseconds