[ 4652.835742] Dune module loaded
[ 4652.835748] vmx: VMX enabled on CPU 6
[ 4652.835748] vmx: VMX enabled on CPU 5
[ 4652.835749] vmx: VMX enabled on CPU 7
[ 4652.835750] vmx: VMX enabled on CPU 0
[ 4652.835750] vmx: VMX enabled on CPU 1
[ 4652.835751] vmx: VMX enabled on CPU 3
[ 4652.835751] vmx: VMX enabled on CPU 2
[ 4652.835755] vmx: VMX enabled on CPU 4
[ 4657.695284] R ffffffff817f9250
[ 4658.778411] vmx: enabled EPT A/D bits
[ 4658.778423] vmx: created VCPU (VPID 1)
[ 4658.940990] pcidma 0000:04:00.0: claimed
[ 4662.437302] vmx: stopping VCPU (VPID 1)
[ 4662.438349] pcidma 0000:04:00.0: released
[ 4662.438413] vmx: destroying VCPU (VPID 1)