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

/seL4-camkes-master/projects/seL4_projects_libs/libsel4vm/src/arch/x86/i8259/
H A Di8259.c460 static void elcr_ioport_write(struct i8259_state *s, unsigned int addr, unsigned int val) function
494 elcr_ioport_write(&s->pics[port_no & 1], port_no, value);

Completed in 82 milliseconds