sys/amd64/include/vmm_instruction_emul.h sys/arm64/include/vmm_instruction_emul.h sys/riscv/include/vmm_instruction_emul.h
