Fix reversed interrupt vector name
[viridis.git] / kernel /
drwxr-xr-x   ..
-rw-r--r-- 3970 acpi.c
-rw-r--r-- 4699 apic.c
-rw-r--r-- 1081 console.c
-rw-r--r-- 799 cpuid.c
-rw-r--r-- 408 grub_sig.c
-rw-r--r-- 1746 irq.c
-rw-r--r-- 933 main.c
drwxr-xr-x - platforms
-rw-r--r-- 995 smp.c
-rw-r--r-- 4725 string.c
-rw-r--r-- 4795 tsc.c