A prototype for a callback function to which LAPIC forwards information
#include <qvm/apic.h>
typedef void apic_func_t(vdev_t *vdp, int eoi, unsigned vector);
See apic_register().