neel a74007510a Test for AST pending with interrupts disabled right before entering the guest. ... If an IPI was delivered to this cpu before interrupts were disabled then return right away via vmx_setjmp() with a return value of VMX_RETURN_AST. Obtained from: NetApp		2012-10-23 02:20:42 +00:00
..
acpica	- Remove unused code for CR3 and CR4.	2012-06-13 22:53:56 +00:00
amd64	IFC @ r238370	2012-07-11 19:54:21 +00:00
compile	Clone Kip's Xen on stable/6 tree so that I can work on improving FreeBSD/amd64	2008-11-22 16:14:52 +00:00
conf	Include 'device uart' in the guest kernel.	2012-08-04 04:30:26 +00:00
ia32	Eliminate ia32_reg.h by moving its contents to x86 and ia64 reg.h.	2012-03-18 19:12:11 +00:00
include	Add the guest physical address and r/w/x bits to	2012-10-12 23:12:19 +00:00
linux32	Regenerate system call tables.	2012-05-25 21:52:57 +00:00
pci	Move {amd64,i386}/pci/pci_bus.c and {amd64,i386}/include/pci_cfgreg.h to	2011-06-22 21:04:13 +00:00
vmm	Test for AST pending with interrupts disabled right before entering the guest.	2012-10-23 02:20:42 +00:00
Makefile	Adjustments to make a tags file a bit more suitable to amd64.	2008-12-01 14:15:10 +00:00