Hello Niels, >I believe this will be fixed by [50366a30], which I have to pushed to >master. I would be happy if you can confirm this.
find . -name hm_vmx.h ./out/bin/src/vboxdrv/include/VBox/vmm/hm_vmx.h ./include/VBox/vmm/hm_vmx.h ./debian/virtualbox-dkms/usr/src/virtualbox-5.1.22/include/VBox/vmm/hm_vmx.h I would say yes, this fixed the issue! thanks a lot! G.
