PLE_WINDOW       5834 arch/x86/kvm/vmx/vmx.c 		       vmcs_read32(PLE_GAP), vmcs_read32(PLE_WINDOW));
PLE_WINDOW       6500 arch/x86/kvm/vmx/vmx.c 		vmcs_write32(PLE_WINDOW, vmx->ple_window);