1 | /* $Id: REMAll.cpp 18927 2009-04-16 11:41:38Z vboxsync $ */
|
---|
2 | /** @file
|
---|
3 | * REM - Recompiled Execution Monitor, all Contexts part.
|
---|
4 | */
|
---|
5 |
|
---|
6 | /*
|
---|
7 | * Copyright (C) 2006-2007 Sun Microsystems, Inc.
|
---|
8 | *
|
---|
9 | * This file is part of VirtualBox Open Source Edition (OSE), as
|
---|
10 | * available from http://www.virtualbox.org. This file is free software;
|
---|
11 | * you can redistribute it and/or modify it under the terms of the GNU
|
---|
12 | * General Public License (GPL) as published by the Free Software
|
---|
13 | * Foundation, in version 2 as it comes in the "COPYING" file of the
|
---|
14 | * VirtualBox OSE distribution. VirtualBox OSE is distributed in the
|
---|
15 | * hope that it will be useful, but WITHOUT ANY WARRANTY of any kind.
|
---|
16 | *
|
---|
17 | * Please contact Sun Microsystems, Inc., 4150 Network Circle, Santa
|
---|
18 | * Clara, CA 95054 USA or visit http://www.sun.com if you need
|
---|
19 | * additional information or have any questions.
|
---|
20 | */
|
---|
21 |
|
---|
22 |
|
---|
23 | /*******************************************************************************
|
---|
24 | * Global Variables *
|
---|
25 | *******************************************************************************/
|
---|
26 | #define LOG_GROUP LOG_GROUP_REM
|
---|
27 | #include <VBox/rem.h>
|
---|
28 | #include <VBox/vmm.h>
|
---|
29 | #include "REMInternal.h"
|
---|
30 | #include <VBox/vm.h>
|
---|
31 | #include <VBox/err.h>
|
---|
32 | #include <VBox/log.h>
|
---|
33 |
|
---|
34 | #include <iprt/assert.h>
|
---|
35 |
|
---|
36 |
|
---|
37 | #ifndef IN_RING3
|
---|
38 |
|
---|
39 | /**
|
---|
40 | * Records a invlpg instruction for replaying upon REM entry.
|
---|
41 | *
|
---|
42 | * @returns VINF_SUCCESS on success.
|
---|
43 | * @returns VERR_REM_FLUSHED_PAGES_OVERFLOW if a return to HC for flushing of
|
---|
44 | * recorded pages is required before the call can succeed.
|
---|
45 | * @param pVM The VM handle.
|
---|
46 | * @param GCPtrPage The
|
---|
47 | */
|
---|
48 | VMMDECL(int) REMNotifyInvalidatePage(PVM pVM, RTGCPTR GCPtrPage)
|
---|
49 | {
|
---|
50 | if (pVM->rem.s.cInvalidatedPages < RT_ELEMENTS(pVM->rem.s.aGCPtrInvalidatedPages))
|
---|
51 | {
|
---|
52 | /*
|
---|
53 | * We sync them back in REMR3State.
|
---|
54 | */
|
---|
55 | pVM->rem.s.aGCPtrInvalidatedPages[pVM->rem.s.cInvalidatedPages++] = GCPtrPage;
|
---|
56 | }
|
---|
57 | else
|
---|
58 | {
|
---|
59 | /* Tell the recompiler to flush its TLB. */
|
---|
60 | Assert(pVM->cCPUs == 1); /* @todo SMP */
|
---|
61 | CPUMSetChangedFlags(VMMGetCpu(pVM), CPUM_CHANGED_GLOBAL_TLB_FLUSH);
|
---|
62 | pVM->rem.s.cInvalidatedPages = 0;
|
---|
63 | }
|
---|
64 |
|
---|
65 | return VINF_SUCCESS;
|
---|
66 | }
|
---|
67 |
|
---|
68 |
|
---|
69 | /**
|
---|
70 | * Flushes the handler notifications by calling the host.
|
---|
71 | *
|
---|
72 | * @param pVM The VM handle.
|
---|
73 | */
|
---|
74 | static void remFlushHandlerNotifications(PVM pVM)
|
---|
75 | {
|
---|
76 | #ifdef IN_RC
|
---|
77 | VMMGCCallHost(pVM, VMMCALLHOST_REM_REPLAY_HANDLER_NOTIFICATIONS, 0);
|
---|
78 | #elif defined(IN_RING0)
|
---|
79 | /** @todo necessary? */
|
---|
80 | VMMR0CallHost(pVM, VMMCALLHOST_REM_REPLAY_HANDLER_NOTIFICATIONS, 0);
|
---|
81 | #else
|
---|
82 | AssertReleaseMsgFailed(("Ring 3 call????.\n"));
|
---|
83 | #endif
|
---|
84 | Assert(pVM->rem.s.cHandlerNotifications == 0);
|
---|
85 | }
|
---|
86 |
|
---|
87 |
|
---|
88 | /**
|
---|
89 | * Notification about a successful PGMR3HandlerPhysicalRegister() call.
|
---|
90 | *
|
---|
91 | * @param pVM VM Handle.
|
---|
92 | * @param enmType Handler type.
|
---|
93 | * @param GCPhys Handler range address.
|
---|
94 | * @param cb Size of the handler range.
|
---|
95 | * @param fHasHCHandler Set if the handler have a HC callback function.
|
---|
96 | */
|
---|
97 | VMMDECL(void) REMNotifyHandlerPhysicalRegister(PVM pVM, PGMPHYSHANDLERTYPE enmType, RTGCPHYS GCPhys, RTGCPHYS cb, bool fHasHCHandler)
|
---|
98 | {
|
---|
99 | if (pVM->rem.s.cHandlerNotifications >= RT_ELEMENTS(pVM->rem.s.aHandlerNotifications))
|
---|
100 | remFlushHandlerNotifications(pVM);
|
---|
101 | PREMHANDLERNOTIFICATION pRec = &pVM->rem.s.aHandlerNotifications[pVM->rem.s.cHandlerNotifications++];
|
---|
102 | pRec->enmKind = REMHANDLERNOTIFICATIONKIND_PHYSICAL_REGISTER;
|
---|
103 | pRec->u.PhysicalRegister.enmType = enmType;
|
---|
104 | pRec->u.PhysicalRegister.GCPhys = GCPhys;
|
---|
105 | pRec->u.PhysicalRegister.cb = cb;
|
---|
106 | pRec->u.PhysicalRegister.fHasHCHandler = fHasHCHandler;
|
---|
107 | VM_FF_SET(pVM, VM_FF_REM_HANDLER_NOTIFY);
|
---|
108 | }
|
---|
109 |
|
---|
110 |
|
---|
111 | /**
|
---|
112 | * Notification about a successful PGMR3HandlerPhysicalDeregister() operation.
|
---|
113 | *
|
---|
114 | * @param pVM VM Handle.
|
---|
115 | * @param enmType Handler type.
|
---|
116 | * @param GCPhys Handler range address.
|
---|
117 | * @param cb Size of the handler range.
|
---|
118 | * @param fHasHCHandler Set if the handler have a HC callback function.
|
---|
119 | * @param fRestoreAsRAM Whether the to restore it as normal RAM or as unassigned memory.
|
---|
120 | */
|
---|
121 | VMMDECL(void) REMNotifyHandlerPhysicalDeregister(PVM pVM, PGMPHYSHANDLERTYPE enmType, RTGCPHYS GCPhys, RTGCPHYS cb, bool fHasHCHandler, bool fRestoreAsRAM)
|
---|
122 | {
|
---|
123 | if (pVM->rem.s.cHandlerNotifications >= RT_ELEMENTS(pVM->rem.s.aHandlerNotifications))
|
---|
124 | remFlushHandlerNotifications(pVM);
|
---|
125 | PREMHANDLERNOTIFICATION pRec = &pVM->rem.s.aHandlerNotifications[pVM->rem.s.cHandlerNotifications++];
|
---|
126 | pRec->enmKind = REMHANDLERNOTIFICATIONKIND_PHYSICAL_DEREGISTER;
|
---|
127 | pRec->u.PhysicalDeregister.enmType = enmType;
|
---|
128 | pRec->u.PhysicalDeregister.GCPhys = GCPhys;
|
---|
129 | pRec->u.PhysicalDeregister.cb = cb;
|
---|
130 | pRec->u.PhysicalDeregister.fHasHCHandler = fHasHCHandler;
|
---|
131 | pRec->u.PhysicalDeregister.fRestoreAsRAM = fRestoreAsRAM;
|
---|
132 | VM_FF_SET(pVM, VM_FF_REM_HANDLER_NOTIFY);
|
---|
133 | }
|
---|
134 |
|
---|
135 |
|
---|
136 | /**
|
---|
137 | * Notification about a successful PGMR3HandlerPhysicalModify() call.
|
---|
138 | *
|
---|
139 | * @param pVM VM Handle.
|
---|
140 | * @param enmType Handler type.
|
---|
141 | * @param GCPhysOld Old handler range address.
|
---|
142 | * @param GCPhysNew New handler range address.
|
---|
143 | * @param cb Size of the handler range.
|
---|
144 | * @param fHasHCHandler Set if the handler have a HC callback function.
|
---|
145 | * @param fRestoreAsRAM Whether the to restore it as normal RAM or as unassigned memory.
|
---|
146 | */
|
---|
147 | VMMDECL(void) REMNotifyHandlerPhysicalModify(PVM pVM, PGMPHYSHANDLERTYPE enmType, RTGCPHYS GCPhysOld, RTGCPHYS GCPhysNew, RTGCPHYS cb, bool fHasHCHandler, bool fRestoreAsRAM)
|
---|
148 | {
|
---|
149 | if (pVM->rem.s.cHandlerNotifications >= RT_ELEMENTS(pVM->rem.s.aHandlerNotifications))
|
---|
150 | remFlushHandlerNotifications(pVM);
|
---|
151 | PREMHANDLERNOTIFICATION pRec = &pVM->rem.s.aHandlerNotifications[pVM->rem.s.cHandlerNotifications++];
|
---|
152 | pRec->enmKind = REMHANDLERNOTIFICATIONKIND_PHYSICAL_MODIFY;
|
---|
153 | pRec->u.PhysicalModify.enmType = enmType;
|
---|
154 | pRec->u.PhysicalModify.GCPhysOld = GCPhysOld;
|
---|
155 | pRec->u.PhysicalModify.GCPhysNew = GCPhysNew;
|
---|
156 | pRec->u.PhysicalModify.cb = cb;
|
---|
157 | pRec->u.PhysicalModify.fHasHCHandler = fHasHCHandler;
|
---|
158 | pRec->u.PhysicalModify.fRestoreAsRAM = fRestoreAsRAM;
|
---|
159 | VM_FF_SET(pVM, VM_FF_REM_HANDLER_NOTIFY);
|
---|
160 | }
|
---|
161 |
|
---|
162 | #endif /* !IN_RING3 */
|
---|
163 |
|
---|
164 | /**
|
---|
165 | * Make REM flush all translation block upon the next call to REMR3State().
|
---|
166 | *
|
---|
167 | * @param pVM Pointer to the shared VM structure.
|
---|
168 | */
|
---|
169 | VMMDECL(void) REMFlushTBs(PVM pVM)
|
---|
170 | {
|
---|
171 | LogFlow(("REMFlushTBs: fFlushTBs=%RTbool fInREM=%RTbool fInStateSync=%RTbool\n",
|
---|
172 | pVM->rem.s.fFlushTBs, pVM->rem.s.fInREM, pVM->rem.s.fInStateSync));
|
---|
173 | pVM->rem.s.fFlushTBs = true;
|
---|
174 | }
|
---|
175 |
|
---|