| Kconfig | 2767 | 2015-11-23 13:04:07 | |
| Makefile | 615 | 2015-11-23 13:04:07 | |
| cpuid.c | 18160 | 2015-11-23 13:04:07 | |
| cpuid.h | 2105 | 2015-11-23 13:04:07 | |
| emulate.c | 126587 | 2015-11-23 13:04:07 | |
| i8254.c | 19688 | 2015-11-23 13:04:07 | |
| i8254.h | 1546 | 2015-11-23 13:04:07 | |
| i8259.c | 14699 | 2015-11-23 13:04:07 | |
| irq.c | 3059 | 2015-11-23 13:04:07 | |
| irq.h | 2955 | 2015-11-23 13:04:07 | |
| kvm_cache_regs.h | 2658 | 2015-11-23 13:04:07 | |
| lapic.c | 48033 | 2015-11-23 13:04:07 | |
| lapic.h | 5302 | 2015-11-23 13:04:07 | |
| mmu.c | 113460 | 2015-11-23 13:04:07 | |
| mmu.h | 3298 | 2015-11-23 13:04:07 | |
| mmu_audit.c | 6648 | 2015-11-23 13:04:07 | |
| mmutrace.h | 7353 | 2015-11-23 13:04:07 | |
| paging_tmpl.h | 27632 | 2015-11-23 13:04:07 | |
| pmu.c | 14309 | 2015-11-23 13:04:07 | |
| svm.c | 113655 | 2015-11-23 13:04:07 | |
| trace.h | 21637 | 2015-11-23 13:04:07 | |
| tss.h | 622 | 2015-11-23 13:04:07 | |
| vmx.c | 250411 | 2015-11-23 13:04:07 | |
| x86.c | 190733 | 2015-11-23 13:04:07 | |
| x86.h | 3430 | 2015-11-23 13:04:07 |