| Kconfig | 1983 | 2011-04-28 15:21:24 | |
| Makefile | 526 | 2011-04-28 15:21:24 | |
| emulate.c | 90568 | 2011-04-28 15:21:24 | |
| i8254.c | 18285 | 2011-04-28 15:21:24 | |
| i8254.h | 1396 | 2011-04-28 15:21:24 | |
| i8259.c | 12659 | 2011-04-28 15:21:24 | |
| irq.c | 2430 | 2011-04-28 15:21:24 | |
| irq.h | 3088 | 2011-04-28 15:21:24 | |
| kvm_cache_regs.h | 1943 | 2011-04-28 15:21:24 | |
| kvm_timer.h | 349 | 2011-04-28 15:21:24 | |
| lapic.c | 30878 | 2011-04-28 15:21:24 | |
| lapic.h | 2063 | 2011-04-28 15:21:24 | |
| mmu.c | 82766 | 2011-04-28 15:21:24 | |
| mmu.h | 1863 | 2011-04-28 15:21:24 | |
| mmutrace.h | 4493 | 2011-04-28 15:21:24 | |
| paging_tmpl.h | 17622 | 2011-04-28 15:21:24 | |
| svm.c | 89370 | 2011-04-28 15:21:24 | |
| timer.c | 1288 | 2011-04-28 15:21:24 | |
| trace.h | 17615 | 2011-04-28 15:21:24 | |
| tss.h | 622 | 2011-04-28 15:21:24 | |
| vmx.c | 114098 | 2011-04-28 15:21:24 | |
| x86.c | 137043 | 2011-04-28 15:21:24 | |
| x86.h | 1810 | 2011-04-28 15:21:24 |