| Kconfig | 2351 | 2012-10-21 16:32:56 | |
| Makefile | 611 | 2012-10-21 16:32:56 | |
| cpuid.c | 17703 | 2012-10-21 16:32:56 | |
| cpuid.h | 1844 | 2012-10-21 16:32:56 | |
| emulate.c | 121222 | 2012-10-21 16:32:56 | |
| i8254.c | 19671 | 2012-10-21 16:32:56 | |
| i8254.h | 1430 | 2012-10-21 16:32:56 | |
| i8259.c | 15327 | 2012-10-21 16:32:56 | |
| irq.c | 2390 | 2012-10-21 16:32:56 | |
| irq.h | 2945 | 2012-10-21 16:32:56 | |
| kvm_cache_regs.h | 2658 | 2012-10-21 16:32:56 | |
| kvm_timer.h | 389 | 2012-10-21 16:32:56 | |
| lapic.c | 39096 | 2012-10-21 16:32:56 | |
| lapic.h | 2696 | 2012-10-21 16:32:56 | |
| mmu.c | 103958 | 2012-10-21 16:32:56 | |
| mmu.h | 2752 | 2012-10-21 16:32:56 | |
| mmu_audit.c | 6743 | 2012-10-21 16:32:56 | |
| mmutrace.h | 6316 | 2012-10-21 16:32:56 | |
| paging_tmpl.h | 21568 | 2012-10-21 16:32:56 | |
| pmu.c | 13558 | 2012-10-21 16:32:56 | |
| svm.c | 112942 | 2012-10-21 16:32:56 | |
| timer.c | 1389 | 2012-10-21 16:32:56 | |
| trace.h | 22874 | 2012-10-21 16:32:56 | |
| tss.h | 622 | 2012-10-21 16:32:56 | |
| vmx.c | 215551 | 2012-10-21 16:32:56 | |
| x86.c | 169153 | 2012-10-21 16:32:56 | |
| x86.h | 2965 | 2012-10-21 16:32:56 |