maxv 62a5bd239e Take RAX from the VMCB and not the VCPU state, the latter is not ... synchronized and contains old values.		2018-11-14 19:14:40 +00:00
..
x86	Take RAX from the VMCB and not the VCPU state, the latter is not	2018-11-14 19:14:40 +00:00
Makefile	…
files.nvmm	…
nvmm.c	…
nvmm.h	…
nvmm_internal.h	…
nvmm_ioctl.h	…