| Kconfig | 1908 | 2015-05-24 08:10:57 | |
| Makefile | 505 | 2015-05-24 08:10:57 | |
| emulate.c | 69963 | 2015-05-24 08:10:57 | |
| i8254.c | 18290 | 2015-05-24 08:10:57 | |
| i8254.h | 1392 | 2015-05-24 08:10:57 | |
| i8259.c | 11808 | 2015-05-24 08:10:57 | |
| irq.c | 2430 | 2015-05-24 08:10:57 | |
| irq.h | 2993 | 2015-05-24 08:10:57 | |
| kvm_cache_regs.h | 1051 | 2015-05-24 08:10:57 | |
| kvm_timer.h | 358 | 2015-05-24 08:10:57 | |
| lapic.c | 30396 | 2015-05-24 08:10:57 | |
| lapic.h | 1776 | 2015-05-24 08:10:57 | |
| mmu.c | 83002 | 2015-05-24 08:10:57 | |
| mmu.h | 2173 | 2015-05-24 08:10:57 | |
| mmutrace.h | 4562 | 2015-05-24 08:10:57 | |
| paging_tmpl.h | 17149 | 2015-05-24 08:10:57 | |
| svm.c | 79058 | 2015-05-24 08:10:57 | |
| timer.c | 1213 | 2015-05-24 08:10:57 | |
| trace.h | 8249 | 2015-05-24 08:10:57 | |
| tss.h | 622 | 2015-05-24 08:10:57 | |
| vmx.c | 108290 | 2015-05-24 08:10:57 | |
| x86.c | 131613 | 2015-05-24 08:10:57 | |
| x86.h | 939 | 2015-05-24 08:10:57 |