[  324.424146] ------------------------------------------
[  324.424157] vmi: kvm_main.c: load vcpu
[  324.424163] current cpu = 3
[  324.424167] current vcpu.cpu = 6
[  328.181250] current cpu = 3
[  328.181261] current vcpu.cpu = 3
[  328.181265] vmi: kvm_main.c: vcpu is loaded
[  328.181272] current vmcs = f69fd000
[  328.181277] my vcpu vmcs = f69fd000
[  328.181282] start_vmi
[  328.181287] CPU_BASED_CR3_LOAD_EXITING is set with no pb :) !
[  328.181291] ------------------------------------------