#ifndef FURIX_ARCH_X86_64_PIC_H
#define FURIX_ARCH_X86_64_PIC_H

#include <types.h>

/*
 * mask all legacy 8259 PIC interrupts.
 *
 * interrupts route through the LAPIC once it is enabled, but the two 8259s
 * are still unmapped at whatever vector base firmware left them at, so a stray
 * IRQ0 (the PIT timer) arrives as a bogus vector the moment we execute STI.
 */
void pic_disarm(void);

#endif /* FURIX_ARCH_X86_64_PIC_H */