Index: /trunk/src/VBox/VMM/PGMInternal.h
===================================================================
--- /trunk/src/VBox/VMM/PGMInternal.h	(revision 17204)
+++ /trunk/src/VBox/VMM/PGMInternal.h	(revision 17205)
@@ -2985,9 +2985,4 @@
 
 #ifdef VBOX_WITH_PGMPOOL_PAGING_ONLY
-int             pgmPoolLockPage(PPGMPOOL pPool, PPGMPOOLPAGE pPage);
-int             pgmPoolUnlockPage(PPGMPOOL pPool, PPGMPOOLPAGE pPage);
-
-bool            pgmPoolIsPageLocked(PVM pVM, PPGMPOOLPAGE pPage);
-
 void            pgmMapClearShadowPDEs(PVM pVM, PPGMPOOLPAGE pShwPageCR3, PPGMMAPPING pMap, unsigned iOldPDE);
 void            pgmMapSetShadowPDEs(PVM pVM, PPGMMAPPING pMap, unsigned iNewPDE);