100644 blob ffb6cef45a603ef224e6a4cfe825d0e4ceb9d7a6	boot.c
100644 blob 4d20a31b7d605f80b3f62419246ffc7b4152c480	debug.c
100644 blob f4fd5818b9791ff17e705d99e5369caccd820ead	debug.h
100644 blob e6a09d29c3087d7c858fd9e3dbf60cb2e3c0ae92	ept.c
100644 blob 1aa3687acee48e0b356b3fc22b6182e0077f1088	guest_irq_controller.c
100644 blob d97aaa739bffc321868ed481dcbbe314e03fa9c6	guest_state.h
100644 blob ed4384651c069b8d8fbecef42c03e5cdb6d3bb21	guest_vcpu_fault_arch.c
100644 blob 4ff145d811c032a9a6dcb530c9233d20b3f286fe	guest_vspace_arch.h
100644 blob 9e84c9a76ce07d4cf9008f6d41ec94d0ceff19d5	guest_x86_context.c
100644 blob b2b47b7e4b8c21e2332f47de9c33d523e7a68aa9	halt.c
040000 tree c1ae44e09c8667634d63292113da29960224dad0	i8259
100644 blob 805339d35445e65c7f4504c26e8ea73327479c0d	interrupt.c
100644 blob 648d4911d577e819c64fb583432df117a912620d	interrupt.h
100644 blob 52f4f23f77361a8375d9fdb6e2cd213d450333f3	ioports.c
040000 tree 991d14191353b9f41565c2f2d2d50b8f667fe088	processor
100644 blob a6954f503783ac07d5c8355c86935f3a41dc5387	vm.c
100644 blob ee32a39c802750ab9c13d8e8a45bb14dcbffc02d	vmcall.c
100644 blob e532c20fc7d52b12ed1db75984f0388d2e031a7d	vmcs.c
100644 blob 7e8946417e86ecdc52e215cc70f1750c0fc663d4	vmcs.h
100644 blob 8a106b1b40df2fd2f060796c20c0d0ccd57cbe84	vmexit.h
100644 blob 62e164da429de760ff16659ae9f4fe62b50622bd	vmx_timer.c