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

/seL4-l4v-master/seL4/src/plat/pc99/machine/
H A Dpic.c42 uint16_t pic_port; local
49 pic_port = PIC1_BASE + 1;
52 pic_port = PIC2_BASE + 1;
57 out8(pic_port, (in8(pic_port) | bit_mask));
60 out8(pic_port, (in8(pic_port) & ~bit_mask));

Completed in 208 milliseconds