sys/amd64/include/vmm_dev.h sys/arm64/include/vmm_dev.h sys/dev/vmm/vmm_dev.h sys/riscv/include/vmm_dev.h
