neel e24f5ed9f2 Avoid unnecessary sign extension when promoted to a 64-bit integer. ... This was benign because the interruption info field is a 32-bit quantity and the hardware guarantees that the upper 32-bits are all zeros. But it did make reading the objdump output very confusing.		2011-05-20 02:08:05 +00:00
..
amd
intel	Avoid unnecessary sign extension when promoted to a 64-bit integer.	2011-05-20 02:08:05 +00:00
io
vmm_dev.c
vmm_ipi.c
vmm_ipi.h
vmm_ktr.h
vmm_lapic.c
vmm_lapic.h
vmm_mem.c
vmm_mem.h
vmm_msr.c
vmm_msr.h
vmm_stat.c
vmm_stat.h
vmm_support.S
vmm_util.c
vmm_util.h
vmm.c
x86.c	Changes to allow the GENERIC+bhye kernel built from this branch to	2011-05-19 21:53:25 +00:00
x86.h	Changes to allow the GENERIC+bhye kernel built from this branch to	2011-05-19 21:53:25 +00:00