3caf3beb5c
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. |
||
|---|---|---|
| .. | ||
| amd | ||
| intel | ||
| 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 | ||
| x86.h | ||