neel 907c0aec17 Allow intercepts and irq fields to be cached by the VMCB. ... Provide APIs svm_enable_intercept()/svm_disable_intercept() to add/delete VMCB intercepts. These APIs ensure that the VMCB state cache is invalidated when intercepts are modified. Each intercept is identified as a (index,bitmask) tuple. For e.g., the VINTR intercept is identified as (VMCB_CTRL1_INTCPT,VMCB_INTCPT_VINTR). The first 20 bytes in control area that are used to enable intercepts are represented as 'uint32_t intercept[5]' in 'struct vmcb_ctrl'. Modify svm_setcap() and svm_getcap() to use the new APIs. Discussed with: Anish Gupta (akgupt3@gmail.com)		2014-09-10 03:13:40 +00:00
..
acpica	don't set CR4 PSE bit on amd64	2014-07-23 15:53:29 +00:00
amd64	IFC @r269962	2014-09-02 04:22:42 +00:00
conf	Add vt(4) devices and options to NOTES	2014-07-01 00:22:54 +00:00
ia32	x86: Allow users to change PSL_RF via ptrace(PT_SETREGS...)	2013-11-14 15:37:20 +00:00
include	Merge all MD sf_buf allocators into one MI, residing in kern/subr_sfbuf.c	2014-08-05 09:44:10 +00:00
linux32	Revert r266925 as it can lead to instant panic at fexecve():	2014-06-17 05:29:18 +00:00
pci	Pull in r267961 and r267973 again. Fix for issues reported will follow.	2014-06-28 03:56:17 +00:00
vmm	Allow intercepts and irq fields to be cached by the VMCB.	2014-09-10 03:13:40 +00:00
Makefile