Changeset 11713
- Timestamp:
- 08/27/08 18:27:13 (3 months ago)
- Files:
-
- trunk/src/VBox/VMM/VMMAll/PGMAllGst.h (modified) (1 diff)
Legend:
- Unmodified
- Added
- Removed
- Modified
- Copied
- Moved
trunk/src/VBox/VMM/VMMAll/PGMAllGst.h
r11711 r11713 495 495 { 496 496 /* It might have been freed already by a pool flush (see e.g. PGMR3MappingsUnfix). */ 497 if (p gmPoolGetPage(pPool, pVM->pgm.s.pHCShwAmd64CR3->GCPhys))497 if (pVM->pgm.s.pHCShwAmd64CR3->enmKind != PGMPOOLKIND_FREE) 498 498 pgmPoolFreeByPage(pPool, pVM->pgm.s.pHCShwAmd64CR3, PGMPOOL_IDX_AMD64_CR3, pVM->pgm.s.pHCShwAmd64CR3->GCPhys >> PAGE_SHIFT); 499 499 pVM->pgm.s.pHCShwAmd64CR3 = 0;

