| Kconfig | 2819 | 2016-04-23 20:46:40 | |
| Makefile | 629 | 2016-04-23 20:46:40 | |
| cpuid.c | 21492 | 2016-04-23 20:46:40 | |
| cpuid.h | 3321 | 2016-04-23 20:46:40 | |
| emulate.c | 132731 | 2016-04-23 20:46:40 | |
| i8254.c | 19708 | 2016-04-23 20:46:40 | |
| i8254.h | 1546 | 2016-04-23 20:46:40 | |
| i8259.c | 14699 | 2016-04-23 20:46:40 | |
| irq.c | 3069 | 2016-04-23 20:46:40 | |
| irq.h | 2955 | 2016-04-23 20:46:40 | |
| kvm_cache_regs.h | 2658 | 2016-04-23 20:46:40 | |
| lapic.c | 48961 | 2016-04-23 20:46:40 | |
| lapic.h | 5318 | 2016-04-23 20:46:40 | |
| mmu.c | 115639 | 2016-04-23 20:46:40 | |
| mmu.h | 6233 | 2016-04-23 20:46:40 | |
| mmu_audit.c | 6640 | 2016-04-23 20:46:40 | |
| mmutrace.h | 7362 | 2016-04-23 20:46:40 | |
| paging_tmpl.h | 28237 | 2016-04-23 20:46:40 | |
| pmu.c | 14793 | 2016-04-23 20:46:40 | |
| svm.c | 116360 | 2016-04-23 20:46:40 | |
| trace.h | 22744 | 2016-04-23 20:46:40 | |
| tss.h | 622 | 2016-04-23 20:46:40 | |
| vmx.c | 270148 | 2016-04-23 20:46:40 | |
| x86.c | 201495 | 2016-04-23 20:46:40 | |
| x86.h | 4186 | 2016-04-23 20:46:40 |