#ifndef _KERNEL_AMD64_INTR_DEFS_H
#define _KERNEL_AMD64_INTR_DEFS_H

/* Definitions for custom, nonstandard IDT entries. They have to be remapped by amd64_resolve_irq
 * into legacy IRQs. */

#define SCHED_PREEMPT_TIMER 80
#define TLB_SHOOTDOWN       81
#define CPU_REQUEST_SCHED   82

#endif // _KERNEL_AMD64_INTR_DEFS_H