| Kconfig | 2416 | 2012-12-10 19:31:01 -0800 | |
| Makefile | 603 | 2012-12-10 19:31:01 -0800 | |
| cpuid.c | 17842 | 2013-02-18 15:59:05 -0800 | |
| cpuid.h | 2106 | 2013-02-18 15:59:05 -0800 | |
| emulate.c | 127366 | 2013-04-28 17:36:09 -0700 | |
| i8254.c | 19137 | 2013-04-28 17:36:09 -0700 | |
| i8254.h | 1546 | 2012-12-10 19:31:01 -0800 | |
| i8259.c | 14699 | 2013-04-28 17:36:09 -0700 | |
| irq.c | 3059 | 2013-04-28 17:36:09 -0700 | |
| irq.h | 2955 | 2012-12-10 19:31:01 -0800 | |
| kvm_cache_regs.h | 2658 | 2012-01-04 15:55:50 -0800 | |
| lapic.c | 46710 | 2013-04-28 17:36:09 -0700 | |
| lapic.h | 4869 | 2013-04-28 17:36:09 -0700 | |
| mmu.c | 107017 | 2013-04-28 17:36:09 -0700 | |
| mmu.h | 2788 | 2012-12-10 19:31:01 -0800 | |
| mmu_audit.c | 6648 | 2012-12-10 19:31:01 -0800 | |
| mmutrace.h | 6203 | 2013-04-28 17:36:09 -0700 | |
| paging_tmpl.h | 22532 | 2013-04-28 17:36:09 -0700 | |
| pmu.c | 13559 | 2012-12-10 19:31:01 -0800 | |
| svm.c | 113380 | 2013-04-28 17:36:09 -0700 | |
| trace.h | 21041 | 2013-02-18 15:59:05 -0800 | |
| tss.h | 622 | 2009-12-02 19:51:29 -0800 | |
| vmx.c | 224527 | 2013-04-28 17:36:09 -0700 | |
| x86.c | 184128 | 2013-04-28 17:36:09 -0700 | |
| x86.h | 3020 | 2013-02-18 15:59:05 -0800 |