Various spelling fixes
[muen.git] / kernel / src /
drwxr-xr-x   ..
drwxr-xr-x - asm
-rw-r--r-- 4181 sk-apic.adb
-rw-r--r-- 2479 sk-apic.ads
-rw-r--r-- 3359 sk-atomics.adb
-rw-r--r-- 2509 sk-atomics.ads
-rw-r--r-- 3072 sk-barriers.adb
-rw-r--r-- 1621 sk-barriers.ads
-rw-r--r-- 3832 sk-cpu-vmx.adb
-rw-r--r-- 2498 sk-cpu-vmx.ads
-rw-r--r-- 1552 sk-cpu_info.ads
-rw-r--r-- 12653 sk-crash_audit.adb
-rw-r--r-- 4699 sk-crash_audit.ads
-rw-r--r-- 1499 sk-delays.adb
-rw-r--r-- 1064 sk-delays.ads
-rw-r--r-- 10264 sk-fpu.adb
-rw-r--r-- 6606 sk-fpu.ads
-rw-r--r-- 3827 sk-interrupts.adb
-rw-r--r-- 2082 sk-interrupts.ads
-rw-r--r-- 7552 sk-io_apic.adb
-rw-r--r-- 2495 sk-io_apic.ads
-rw-r--r-- 51218 sk-kernel.adb
-rw-r--r-- 3522 sk-kernel.ads
-rw-r--r-- 2045 sk-locks.adb
-rw-r--r-- 2149 sk-locks.ads
-rw-r--r-- 5369 sk-mce.adb
-rw-r--r-- 2366 sk-mce.ads
-rw-r--r-- 3918 sk-mp.adb
-rw-r--r-- 2032 sk-mp.ads
-rw-r--r-- 1949 sk-power.adb
-rw-r--r-- 1561 sk-power.ads
-rw-r--r-- 43144 sk-scheduler.adb
-rw-r--r-- 10867 sk-scheduler.ads
-rw-r--r-- 1504 sk-scheduling_info.adb
-rw-r--r-- 3431 sk-scheduling_info.ads
-rw-r--r-- 30065 sk-subjects.adb
-rw-r--r-- 7851 sk-subjects.ads
-rw-r--r-- 3823 sk-subjects_events.adb
-rw-r--r-- 3652 sk-subjects_events.ads
-rw-r--r-- 6272 sk-subjects_interrupts.adb
-rw-r--r-- 4525 sk-subjects_interrupts.ads
-rw-r--r-- 1437 sk-subjects_msr_store.adb
-rw-r--r-- 4244 sk-subjects_msr_store.ads
-rw-r--r-- 11272 sk-system_state.adb
-rw-r--r-- 1781 sk-system_state.ads
-rw-r--r-- 2260 sk-tau0_interface.adb
-rw-r--r-- 1321 sk-tau0_interface.ads
-rw-r--r-- 3792 sk-timed_events.adb
-rw-r--r-- 4513 sk-timed_events.ads
-rw-r--r-- 25202 sk-vmx.adb
-rw-r--r-- 5456 sk-vmx.ads
-rw-r--r-- 2218 sk-vtd-interrupts.adb
-rw-r--r-- 1164 sk-vtd-interrupts.ads
-rw-r--r-- 20714 sk-vtd.adb
-rw-r--r-- 2122 sk-vtd.ads