EOI() | Arch::x86::Interr::pic_service | |
get_irq_mask_m() | Arch::x86::Interr::pic_service | |
get_irq_mask_s() | Arch::x86::Interr::pic_service | |
init(idt_service *_idt) | Arch::x86::Interr::pic_service | |
install_irq(char, int(*proc)(except2_t *), short) | Arch::x86::Interr::pic_service | |
mask(char intno, char enabled) | Arch::x86::Interr::pic_service | |
mask_irq_m(char) | Arch::x86::Interr::pic_service | |
mask_irq_s(char) | Arch::x86::Interr::pic_service | |
set_idt(idt_service *_idt) | Arch::x86::Interr::pic_service | |
set_pit_freq(float hz) | Arch::x86::Interr::pic_service | |
setup_pic(char first_irq1, char first_irq2) | Arch::x86::Interr::pic_service |