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

/seL4-camkes-master/kernel/src/plat/pc99/machine/
H A Dpic.c67 uint8_t irr; local
73 irr = in8(PIC1_BASE);
78 return irr != 0;
/seL4-camkes-master/projects/seL4_projects_libs/libsel4vm/src/arch/x86/i8259/
H A Di8259.c55 unsigned char irr; /* Interrupt request register */ member in struct:i8259_state
146 mask = s->irr & ~s->imr;
193 ret = !(s->irr & mask);
194 s->irr |= mask;
197 s->irr &= ~mask;
204 ret = !(s->irr & mask);
205 s->irr |= mask;
252 unsigned char edge_irr = s->irr & ~s->elcr;
255 s->irr &= s->elcr;
415 s->pics_state->pics[0].irr
[all...]
/seL4-camkes-master/projects/seL4_projects_libs/libsel4vm/src/arch/x86/processor/
H A Dapicdef.h296 } irr [8]; member in struct:local_apic_regs

Completed in 33 milliseconds