| Kconfig | 1983 | 2013-01-16 21:55:31 | |
| Makefile | 526 | 2013-01-16 21:55:31 | |
| emulate.c | 72344 | 2013-01-16 21:55:31 | |
| i8254.c | 18375 | 2013-01-16 21:55:31 | |
| i8254.h | 1396 | 2013-01-16 21:55:31 | |
| i8259.c | 12409 | 2013-01-16 21:55:31 | |
| irq.c | 2430 | 2013-01-16 21:55:31 | |
| irq.h | 3067 | 2013-01-16 21:55:31 | |
| kvm_cache_regs.h | 1943 | 2013-01-16 21:55:31 | |
| kvm_timer.h | 358 | 2013-01-16 21:55:31 | |
| lapic.c | 30878 | 2013-01-16 21:55:31 | |
| lapic.h | 2063 | 2013-01-16 21:55:31 | |
| mmu.c | 83368 | 2013-01-16 21:55:31 | |
| mmu.h | 1863 | 2013-01-16 21:55:31 | |
| mmutrace.h | 4562 | 2013-01-16 21:55:31 | |
| paging_tmpl.h | 17091 | 2013-01-16 21:55:31 | |
| svm.c | 82304 | 2013-01-16 21:55:31 | |
| timer.c | 1213 | 2013-01-16 21:55:31 | |
| trace.h | 13506 | 2013-01-16 21:55:31 | |
| tss.h | 622 | 2013-01-16 21:55:31 | |
| vmx.c | 112262 | 2013-01-16 21:55:31 | |
| x86.c | 145998 | 2013-01-16 21:55:31 | |
| x86.h | 1510 | 2013-01-16 21:55:31 |