PLE_WINDOW
vmcs_read32(PLE_GAP), vmcs_read32(PLE_WINDOW));
vmcs_write32(PLE_WINDOW, vmx->ple_window);