3c119e124a
1. exception vector and other information can be extracted from 'VM-Exit Interrupt-Information' field of VMCS only if bit31 (Valid) is set. -Intel SDM 24.9.2, Vol3 2. Rename 'exit-interrupt_info' to 'idt_vectoring_info' in 'struct vcpu_arch', which is consistent with SDM 24.9.3, Vol3 3. 'IDT-vectoring information' in VMCS is 32bit -Intel SDM 24.9.3, Vol3 Update the type of 'idt_vectoring_info' in 'struct vcpu_arch'from 'uint32_t' to 'uint64_t'. Signed-off-by: Yonghua Huang <yonghua.huang@intel.com> |
||
---|---|---|
.. | ||
arch/x86 | ||
common | ||
debug | ||
lib | ||
public | ||
hv_debug.h | ||
hv_lib.h | ||
hypervisor.h |