| Kconfig | 2416 | 2013-01-21 19:45:40 | |
| Makefile | 603 | 2013-01-21 19:45:40 | |
| cpuid.c | 17751 | 2013-01-21 19:45:40 | |
| cpuid.h | 1898 | 2013-01-21 19:45:40 | |
| emulate.c | 123534 | 2013-01-21 19:45:40 | |
| i8254.c | 19177 | 2013-01-21 19:45:40 | |
| i8254.h | 1546 | 2013-01-21 19:45:40 | |
| i8259.c | 14682 | 2013-01-21 19:45:40 | |
| irq.c | 2390 | 2013-01-21 19:45:40 | |
| irq.h | 2955 | 2013-01-21 19:45:40 | |
| kvm_cache_regs.h | 2658 | 2013-01-21 19:45:40 | |
| lapic.c | 44639 | 2013-01-21 19:45:40 | |
| lapic.h | 4051 | 2013-01-21 19:45:40 | |
| mmu.c | 107929 | 2013-01-21 19:45:40 | |
| mmu.h | 2788 | 2013-01-21 19:45:40 | |
| mmu_audit.c | 6648 | 2013-01-21 19:45:40 | |
| mmutrace.h | 6316 | 2013-01-21 19:45:40 | |
| paging_tmpl.h | 21181 | 2013-01-21 19:45:40 | |
| pmu.c | 13559 | 2013-01-21 19:45:40 | |
| svm.c | 112679 | 2013-01-21 19:45:40 | |
| trace.h | 19256 | 2013-01-21 19:45:40 | |
| tss.h | 622 | 2013-01-21 19:45:40 | |
| vmx.c | 215100 | 2013-01-21 19:45:40 | |
| x86.c | 171055 | 2013-01-21 19:45:40 | |
| x86.h | 3008 | 2013-01-21 19:45:40 |

