Index: /trunk/src/VBox/VMM/VMMR3/PGMHandler.cpp
===================================================================
--- /trunk/src/VBox/VMM/VMMR3/PGMHandler.cpp	(revision 55889)
+++ /trunk/src/VBox/VMM/VMMR3/PGMHandler.cpp	(revision 55890)
@@ -495,6 +495,4 @@
         if (pType->enmKind != PGMVIRTHANDLERKIND_HYPERVISOR)
         {
-            PVMCPU pVCpu = VMMGetCpu(pVM);
-
             pVCpu->pgm.s.fSyncFlags |= PGM_SYNC_UPDATE_PAGE_BIT_VIRTUAL | PGM_SYNC_CLEAR_PGM_POOL;
             VMCPU_FF_SET(pVCpu, VMCPU_FF_PGM_SYNC_CR3);
@@ -567,5 +565,5 @@
  * @thread  EMT(pVCpu)
  */
-VMM_INT_DECL(int) PGMHandlerVirtualDeregister(PVM pVM, PVMCPU pVCpu, RTGCPTR GCPtr, bool fHypervisor)
+VMMR3_INT_DECL(int) PGMHandlerVirtualDeregister(PVM pVM, PVMCPU pVCpu, RTGCPTR GCPtr, bool fHypervisor)
 {
     pgmLock(pVM);