VirtualBox

source: vbox/trunk/src/VBox/VMM/PGMGst.h@ 16560

Last change on this file since 16560 was 16317, checked in by vboxsync, 15 years ago

Moved Map- and UnmapCR3 to Bth as they affect both guest and shadow structures.
  • Property svn:eol-style set to native
  • Property svn:keywords set to Id
File size: 16.7 KB
Line 
1/* $Id: PGMGst.h 16317 2009-01-28 14:42:00Z vboxsync $ */
2/** @file
3 * VBox - Page Manager / Monitor, Guest Paging Template.
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* Defined Constants And Macros *
24*******************************************************************************/
25#undef GSTPT
26#undef PGSTPT
27#undef GSTPTE
28#undef PGSTPTE
29#undef GSTPD
30#undef PGSTPD
31#undef GSTPDE
32#undef PGSTPDE
33#undef GST_BIG_PAGE_SIZE
34#undef GST_BIG_PAGE_OFFSET_MASK
35#undef GST_PDE_PG_MASK
36#undef GST_PDE_BIG_PG_MASK
37#undef GST_PD_SHIFT
38#undef GST_PD_MASK
39#undef GST_PTE_PG_MASK
40#undef GST_PT_SHIFT
41#undef GST_PT_MASK
42#undef GST_TOTAL_PD_ENTRIES
43#undef GST_CR3_PAGE_MASK
44#undef GST_PDPE_ENTRIES
45#undef GST_GET_PDE_BIG_PG_GCPHYS
46
47#if PGM_GST_TYPE == PGM_TYPE_32BIT \
48 || PGM_GST_TYPE == PGM_TYPE_REAL \
49 || PGM_GST_TYPE == PGM_TYPE_PROT
50# define GSTPT X86PT
51# define PGSTPT PX86PT
52# define GSTPTE X86PTE
53# define PGSTPTE PX86PTE
54# define GSTPD X86PD
55# define PGSTPD PX86PD
56# define GSTPDE X86PDE
57# define PGSTPDE PX86PDE
58# define GST_BIG_PAGE_SIZE X86_PAGE_4M_SIZE
59# define GST_BIG_PAGE_OFFSET_MASK X86_PAGE_4M_OFFSET_MASK
60# define GST_PDE_PG_MASK X86_PDE_PG_MASK
61# define GST_PDE_BIG_PG_MASK X86_PDE4M_PG_MASK
62# define GST_GET_PDE_BIG_PG_GCPHYS(PdeGst) pgmGstGet4MBPhysPage(&pVM->pgm.s, PdeGst)
63# define GST_PD_SHIFT X86_PD_SHIFT
64# define GST_PD_MASK X86_PD_MASK
65# define GST_TOTAL_PD_ENTRIES X86_PG_ENTRIES
66# define GST_PTE_PG_MASK X86_PTE_PG_MASK
67# define GST_PT_SHIFT X86_PT_SHIFT
68# define GST_PT_MASK X86_PT_MASK
69# define GST_CR3_PAGE_MASK X86_CR3_PAGE_MASK
70
71#elif PGM_GST_TYPE == PGM_TYPE_PAE \
72 || PGM_GST_TYPE == PGM_TYPE_AMD64
73# define GSTPT X86PTPAE
74# define PGSTPT PX86PTPAE
75# define GSTPTE X86PTEPAE
76# define PGSTPTE PX86PTEPAE
77# define GSTPD X86PDPAE
78# define PGSTPD PX86PDPAE
79# define GSTPDE X86PDEPAE
80# define PGSTPDE PX86PDEPAE
81# define GST_BIG_PAGE_SIZE X86_PAGE_2M_SIZE
82# define GST_BIG_PAGE_OFFSET_MASK X86_PAGE_2M_OFFSET_MASK
83# define GST_PDE_PG_MASK X86_PDE_PAE_PG_MASK
84# define GST_PDE_BIG_PG_MASK X86_PDE2M_PAE_PG_MASK
85# define GST_GET_PDE_BIG_PG_GCPHYS(PdeGst) (PdeGst.u & GST_PDE_BIG_PG_MASK)
86# define GST_PD_SHIFT X86_PD_PAE_SHIFT
87# define GST_PD_MASK X86_PD_PAE_MASK
88# if PGM_GST_TYPE == PGM_TYPE_PAE
89# define GST_TOTAL_PD_ENTRIES (X86_PG_PAE_ENTRIES * X86_PG_PAE_PDPE_ENTRIES)
90# define GST_PDPE_ENTRIES X86_PG_PAE_PDPE_ENTRIES
91# else
92# define GST_TOTAL_PD_ENTRIES (X86_PG_AMD64_ENTRIES * X86_PG_AMD64_PDPE_ENTRIES)
93# define GST_PDPE_ENTRIES X86_PG_AMD64_PDPE_ENTRIES
94# endif
95# define GST_PTE_PG_MASK X86_PTE_PAE_PG_MASK
96# define GST_PT_SHIFT X86_PT_PAE_SHIFT
97# define GST_PT_MASK X86_PT_PAE_MASK
98# define GST_CR3_PAGE_MASK X86_CR3_PAE_PAGE_MASK
99#endif
100
101
102/*******************************************************************************
103* Internal Functions *
104*******************************************************************************/
105__BEGIN_DECLS
106/* r3 */
107PGM_GST_DECL(int, InitData)(PVM pVM, PPGMMODEDATA pModeData, bool fResolveGCAndR0);
108PGM_GST_DECL(int, Enter)(PVM pVM, RTGCPHYS GCPhysCR3);
109PGM_GST_DECL(int, Relocate)(PVM pVM, RTGCPTR offDelta);
110PGM_GST_DECL(int, Exit)(PVM pVM);
111
112#ifndef VBOX_WITH_PGMPOOL_PAGING_ONLY
113static DECLCALLBACK(int) pgmR3Gst32BitWriteHandlerCR3(PVM pVM, RTGCPHYS GCPhys, void *pvPhys, void *pvBuf, size_t cbBuf, PGMACCESSTYPE enmAccessType, void *pvUser);
114static DECLCALLBACK(int) pgmR3GstPAEWriteHandlerCR3(PVM pVM, RTGCPHYS GCPhys, void *pvPhys, void *pvBuf, size_t cbBuf, PGMACCESSTYPE enmAccessType, void *pvUser);
115#endif
116
117/* all */
118PGM_GST_DECL(int, GetPage)(PVM pVM, RTGCPTR GCPtr, uint64_t *pfFlags, PRTGCPHYS pGCPhys);
119PGM_GST_DECL(int, ModifyPage)(PVM pVM, RTGCPTR GCPtr, size_t cb, uint64_t fFlags, uint64_t fMask);
120PGM_GST_DECL(int, GetPDE)(PVM pVM, RTGCPTR GCPtr, PX86PDEPAE pPDE);
121#ifndef VBOX_WITH_PGMPOOL_PAGING_ONLY
122PGM_GST_DECL(int, MonitorCR3)(PVM pVM, RTGCPHYS GCPhysCR3);
123PGM_GST_DECL(int, UnmonitorCR3)(PVM pVM);
124#endif
125__END_DECLS
126
127
128/**
129 * Initializes the guest bit of the paging mode data.
130 *
131 * @returns VBox status code.
132 * @param pVM The VM handle.
133 * @param fResolveGCAndR0 Indicate whether or not GC and Ring-0 symbols can be resolved now.
134 * This is used early in the init process to avoid trouble with PDM
135 * not being initialized yet.
136 */
137PGM_GST_DECL(int, InitData)(PVM pVM, PPGMMODEDATA pModeData, bool fResolveGCAndR0)
138{
139 Assert(pModeData->uGstType == PGM_GST_TYPE);
140
141 /* Ring-3 */
142 pModeData->pfnR3GstRelocate = PGM_GST_NAME(Relocate);
143 pModeData->pfnR3GstExit = PGM_GST_NAME(Exit);
144 pModeData->pfnR3GstGetPDE = PGM_GST_NAME(GetPDE);
145 pModeData->pfnR3GstGetPage = PGM_GST_NAME(GetPage);
146 pModeData->pfnR3GstModifyPage = PGM_GST_NAME(ModifyPage);
147#ifndef VBOX_WITH_PGMPOOL_PAGING_ONLY
148 pModeData->pfnR3GstMonitorCR3 = PGM_GST_NAME(MonitorCR3);
149 pModeData->pfnR3GstUnmonitorCR3 = PGM_GST_NAME(UnmonitorCR3);
150#endif
151
152#ifndef VBOX_WITH_PGMPOOL_PAGING_ONLY
153# if PGM_GST_TYPE == PGM_TYPE_32BIT || PGM_GST_TYPE == PGM_TYPE_PAE
154 pModeData->pfnR3GstWriteHandlerCR3 = PGM_GST_NAME(WriteHandlerCR3);
155 pModeData->pszR3GstWriteHandlerCR3 = "Guest CR3 Write access handler";
156 pModeData->pfnR3GstPAEWriteHandlerCR3 = PGM_GST_NAME(WriteHandlerCR3);
157 pModeData->pszR3GstPAEWriteHandlerCR3 = "Guest CR3 Write access handler (PAE)";
158# else
159 pModeData->pfnR3GstWriteHandlerCR3 = NULL;
160 pModeData->pszR3GstWriteHandlerCR3 = NULL;
161 pModeData->pfnR3GstPAEWriteHandlerCR3 = NULL;
162 pModeData->pszR3GstPAEWriteHandlerCR3 = NULL;
163# endif
164#endif
165
166 if (fResolveGCAndR0)
167 {
168 int rc;
169
170#if PGM_SHW_TYPE != PGM_TYPE_AMD64 /* No AMD64 for traditional virtualization, only VT-x and AMD-V. */
171 /* GC */
172 rc = PDMR3LdrGetSymbolRC(pVM, NULL, PGM_GST_NAME_RC_STR(GetPage), &pModeData->pfnRCGstGetPage);
173 AssertMsgRCReturn(rc, ("%s -> rc=%Rrc\n", PGM_GST_NAME_RC_STR(GetPage), rc), rc);
174 rc = PDMR3LdrGetSymbolRC(pVM, NULL, PGM_GST_NAME_RC_STR(ModifyPage), &pModeData->pfnRCGstModifyPage);
175 AssertMsgRCReturn(rc, ("%s -> rc=%Rrc\n", PGM_GST_NAME_RC_STR(ModifyPage), rc), rc);
176 rc = PDMR3LdrGetSymbolRC(pVM, NULL, PGM_GST_NAME_RC_STR(GetPDE), &pModeData->pfnRCGstGetPDE);
177 AssertMsgRCReturn(rc, ("%s -> rc=%Rrc\n", PGM_GST_NAME_RC_STR(GetPDE), rc), rc);
178# ifndef VBOX_WITH_PGMPOOL_PAGING_ONLY
179 rc = PDMR3LdrGetSymbolRC(pVM, NULL, PGM_GST_NAME_RC_STR(MonitorCR3), &pModeData->pfnRCGstMonitorCR3);
180 AssertMsgRCReturn(rc, ("%s -> rc=%Rrc\n", PGM_GST_NAME_RC_STR(MonitorCR3), rc), rc);
181 rc = PDMR3LdrGetSymbolRC(pVM, NULL, PGM_GST_NAME_RC_STR(UnmonitorCR3), &pModeData->pfnRCGstUnmonitorCR3);
182 AssertMsgRCReturn(rc, ("%s -> rc=%Rrc\n", PGM_GST_NAME_RC_STR(UnmonitorCR3), rc), rc);
183# endif
184# ifndef VBOX_WITH_PGMPOOL_PAGING_ONLY
185# if PGM_GST_TYPE == PGM_TYPE_32BIT || PGM_GST_TYPE == PGM_TYPE_PAE
186 rc = PDMR3LdrGetSymbolRC(pVM, NULL, PGM_GST_NAME_RC_STR(WriteHandlerCR3), &pModeData->pfnRCGstWriteHandlerCR3);
187 AssertMsgRCReturn(rc, ("%s -> rc=%Rrc\n", PGM_GST_NAME_RC_STR(WriteHandlerCR3), rc), rc);
188 rc = PDMR3LdrGetSymbolRC(pVM, NULL, PGM_GST_NAME_RC_STR(WriteHandlerCR3), &pModeData->pfnRCGstPAEWriteHandlerCR3);
189 AssertMsgRCReturn(rc, ("%s -> rc=%Rrc\n", PGM_GST_NAME_RC_STR(WriteHandlerCR3), rc), rc);
190# endif
191# endif
192#endif /* Not AMD64 shadow paging. */
193
194 /* Ring-0 */
195 rc = PDMR3LdrGetSymbolR0(pVM, NULL, PGM_GST_NAME_R0_STR(GetPage), &pModeData->pfnR0GstGetPage);
196 AssertMsgRCReturn(rc, ("%s -> rc=%Rrc\n", PGM_GST_NAME_R0_STR(GetPage), rc), rc);
197 rc = PDMR3LdrGetSymbolR0(pVM, NULL, PGM_GST_NAME_R0_STR(ModifyPage), &pModeData->pfnR0GstModifyPage);
198 AssertMsgRCReturn(rc, ("%s -> rc=%Rrc\n", PGM_GST_NAME_R0_STR(ModifyPage), rc), rc);
199 rc = PDMR3LdrGetSymbolR0(pVM, NULL, PGM_GST_NAME_R0_STR(GetPDE), &pModeData->pfnR0GstGetPDE);
200 AssertMsgRCReturn(rc, ("%s -> rc=%Rrc\n", PGM_GST_NAME_R0_STR(GetPDE), rc), rc);
201#ifndef VBOX_WITH_PGMPOOL_PAGING_ONLY
202 rc = PDMR3LdrGetSymbolR0(pVM, NULL, PGM_GST_NAME_R0_STR(MonitorCR3), &pModeData->pfnR0GstMonitorCR3);
203 AssertMsgRCReturn(rc, ("%s -> rc=%Rrc\n", PGM_GST_NAME_R0_STR(MonitorCR3), rc), rc);
204 rc = PDMR3LdrGetSymbolR0(pVM, NULL, PGM_GST_NAME_R0_STR(UnmonitorCR3), &pModeData->pfnR0GstUnmonitorCR3);
205 AssertMsgRCReturn(rc, ("%s -> rc=%Rrc\n", PGM_GST_NAME_R0_STR(UnmonitorCR3), rc), rc);
206#endif
207#ifndef VBOX_WITH_PGMPOOL_PAGING_ONLY
208# if PGM_GST_TYPE == PGM_TYPE_32BIT || PGM_GST_TYPE == PGM_TYPE_PAE
209 rc = PDMR3LdrGetSymbolR0(pVM, NULL, PGM_GST_NAME_R0_STR(WriteHandlerCR3), &pModeData->pfnR0GstWriteHandlerCR3);
210 AssertMsgRCReturn(rc, ("%s -> rc=%Rrc\n", PGM_GST_NAME_R0_STR(WriteHandlerCR3), rc), rc);
211 rc = PDMR3LdrGetSymbolR0(pVM, NULL, PGM_GST_NAME_R0_STR(WriteHandlerCR3), &pModeData->pfnR0GstPAEWriteHandlerCR3);
212 AssertMsgRCReturn(rc, ("%s -> rc=%Rrc\n", PGM_GST_NAME_R0_STR(WriteHandlerCR3), rc), rc);
213# endif
214#endif
215 }
216
217 return VINF_SUCCESS;
218}
219
220
221/**
222 * Enters the guest mode.
223 *
224 * @returns VBox status code.
225 * @param pVM VM handle.
226 * @param GCPhysCR3 The physical address from the CR3 register.
227 */
228PGM_GST_DECL(int, Enter)(PVM pVM, RTGCPHYS GCPhysCR3)
229{
230 /*
231 * Map and monitor CR3
232 */
233 int rc = PGM_BTH_NAME(MapCR3)(pVM, GCPhysCR3);
234#ifndef VBOX_WITH_PGMPOOL_PAGING_ONLY
235 if (RT_SUCCESS(rc) && !pVM->pgm.s.fMappingsFixed)
236 rc = PGM_GST_NAME(MonitorCR3)(pVM, GCPhysCR3);
237#endif
238 return rc;
239}
240
241
242/**
243 * Relocate any GC pointers related to guest mode paging.
244 *
245 * @returns VBox status code.
246 * @param pVM The VM handle.
247 * @param offDelta The reloation offset.
248 */
249PGM_GST_DECL(int, Relocate)(PVM pVM, RTGCPTR offDelta)
250{
251 /* nothing special to do here - InitData does the job. */
252 return VINF_SUCCESS;
253}
254
255
256/**
257 * Exits the guest mode.
258 *
259 * @returns VBox status code.
260 * @param pVM VM handle.
261 */
262PGM_GST_DECL(int, Exit)(PVM pVM)
263{
264 int rc;
265
266#ifndef VBOX_WITH_PGMPOOL_PAGING_ONLY
267 rc = PGM_GST_NAME(UnmonitorCR3)(pVM);
268 if (RT_SUCCESS(rc))
269#endif
270 rc = PGM_BTH_NAME(UnmapCR3)(pVM);
271 return rc;
272}
273
274
275#ifndef VBOX_WITH_PGMPOOL_PAGING_ONLY
276
277#if PGM_GST_TYPE == PGM_TYPE_32BIT
278/**
279 * Physical write access for the Guest CR3 in 32-bit mode.
280 *
281 * @returns VINF_SUCCESS if the handler have carried out the operation.
282 * @returns VINF_PGM_HANDLER_DO_DEFAULT if the caller should carry out the access operation.
283 * @param pVM VM Handle.
284 * @param GCPhys The physical address the guest is writing to.
285 * @param pvPhys The HC mapping of that address.
286 * @param pvBuf What the guest is reading/writing.
287 * @param cbBuf How much it's reading/writing.
288 * @param enmAccessType The access type.
289 * @param pvUser User argument.
290 */
291static DECLCALLBACK(int) pgmR3Gst32BitWriteHandlerCR3(PVM pVM, RTGCPHYS GCPhys, void *pvPhys, void *pvBuf, size_t cbBuf, PGMACCESSTYPE enmAccessType, void *pvUser)
292{
293 AssertMsg(!pVM->pgm.s.fMappingsFixed, ("Shouldn't be registered when mappings are fixed!\n"));
294 Assert(enmAccessType == PGMACCESSTYPE_WRITE);
295 Log2(("pgmR3Gst32BitWriteHandlerCR3: ff=%#x GCPhys=%RGp pvPhys=%p cbBuf=%d pvBuf={%.*Rhxs}\n", pVM->fForcedActions, GCPhys, pvPhys, cbBuf, cbBuf, pvBuf));
296
297 /*
298 * Do the write operation.
299 */
300 memcpy(pvPhys, pvBuf, cbBuf);
301 if ( !pVM->pgm.s.fMappingsFixed
302 && !VM_FF_ISPENDING(pVM, VM_FF_PGM_SYNC_CR3 | VM_FF_PGM_SYNC_CR3_NON_GLOBAL))
303 {
304 /*
305 * Check for conflicts.
306 */
307 const RTGCPTR offPD = GCPhys & PAGE_OFFSET_MASK;
308 const unsigned iPD1 = offPD / sizeof(X86PDE);
309 const unsigned iPD2 = (unsigned)(offPD + cbBuf - 1) / sizeof(X86PDE);
310 Assert(iPD1 - iPD2 <= 1);
311 if ( ( pVM->pgm.s.pGst32BitPdR3->a[iPD1].n.u1Present
312 && pgmGetMapping(pVM, iPD1 << X86_PD_SHIFT) )
313 || ( iPD1 != iPD2
314 && pVM->pgm.s.pGst32BitPdR3->a[iPD2].n.u1Present
315 && pgmGetMapping(pVM, iPD2 << X86_PD_SHIFT) )
316 )
317 {
318 Log(("pgmR3Gst32BitWriteHandlerCR3: detected conflict. iPD1=%#x iPD2=%#x GCPhys=%RGp\n", iPD1, iPD2, GCPhys));
319 STAM_COUNTER_INC(&pVM->pgm.s.StatR3GuestPDWriteConflict);
320 VM_FF_SET(pVM, VM_FF_PGM_SYNC_CR3);
321 }
322 }
323
324 STAM_COUNTER_INC(&pVM->pgm.s.StatR3GuestPDWrite);
325 return VINF_SUCCESS;
326}
327#endif /* 32BIT */
328
329#if PGM_GST_TYPE == PGM_TYPE_PAE
330
331/**
332 * Physical write access handler for the Guest CR3 in PAE mode.
333 *
334 * @returns VINF_SUCCESS if the handler have carried out the operation.
335 * @returns VINF_PGM_HANDLER_DO_DEFAULT if the caller should carry out the access operation.
336 * @param pVM VM Handle.
337 * @param GCPhys The physical address the guest is writing to.
338 * @param pvPhys The HC mapping of that address.
339 * @param pvBuf What the guest is reading/writing.
340 * @param cbBuf How much it's reading/writing.
341 * @param enmAccessType The access type.
342 * @param pvUser User argument.
343 */
344static DECLCALLBACK(int) pgmR3GstPAEWriteHandlerCR3(PVM pVM, RTGCPHYS GCPhys, void *pvPhys, void *pvBuf, size_t cbBuf, PGMACCESSTYPE enmAccessType, void *pvUser)
345{
346 AssertMsg(!pVM->pgm.s.fMappingsFixed, ("Shouldn't be registered when mappings are fixed!\n"));
347 Assert(enmAccessType == PGMACCESSTYPE_WRITE);
348 Log2(("pgmR3GstPAEWriteHandlerCR3: ff=%#x GCPhys=%RGp pvPhys=%p cbBuf=%d pvBuf={%.*Rhxs}\n", pVM->fForcedActions, GCPhys, pvPhys, cbBuf, cbBuf, pvBuf));
349
350 /*
351 * Do the write operation.
352 */
353 memcpy(pvPhys, pvBuf, cbBuf);
354 if ( !pVM->pgm.s.fMappingsFixed
355 && !VM_FF_ISPENDING(pVM, VM_FF_PGM_SYNC_CR3 | VM_FF_PGM_SYNC_CR3_NON_GLOBAL))
356 {
357 /*
358 * Check if any of the PDs have changed.
359 * We'll simply check all of them instead of figuring out which one/two to check.
360 */
361 for (unsigned i = 0; i < 4; i++)
362 {
363 if ( pVM->pgm.s.pGstPaePdptR3->a[i].n.u1Present
364 && (pVM->pgm.s.pGstPaePdptR3->a[i].u & X86_PDPE_PG_MASK) != pVM->pgm.s.aGCPhysGstPaePDsMonitored[i])
365 {
366 Log(("pgmR3GstPAEWriteHandlerCR3: detected updated PDPE; [%d] = %#llx, Old GCPhys=%RGp\n",
367 i, pVM->pgm.s.pGstPaePdptR3->a[i].u, pVM->pgm.s.aGCPhysGstPaePDsMonitored[i]));
368 /*
369 * The PD has changed.
370 * We will schedule a monitoring update for the next TLB Flush,
371 * InvalidatePage or SyncCR3.
372 *
373 * This isn't perfect, because a lazy page sync might be dealing with an half
374 * updated PDPE. However, we assume that the guest OS is disabling interrupts
375 * and being extremely careful (cmpxchg8b) when updating a PDPE where it's
376 * executing.
377 */
378 pVM->pgm.s.fSyncFlags |= PGM_SYNC_MONITOR_CR3;
379 }
380 }
381 }
382 /*
383 * Flag a updating of the monitor at the next crossroad so we don't monitor the
384 * wrong pages for soo long that they can be reused as code pages and freak out
385 * the recompiler or something.
386 */
387 else
388 pVM->pgm.s.fSyncFlags |= PGM_SYNC_MONITOR_CR3;
389
390
391 STAM_COUNTER_INC(&pVM->pgm.s.StatR3GuestPDWrite);
392 return VINF_SUCCESS;
393}
394
395#endif /* PAE */
396#endif /* !VBOX_WITH_PGMPOOL_PAGING_ONLY */
Note: See TracBrowser for help on using the repository browser.

© 2023 Oracle
Contact – Privacy policy – Terms of Use