| 1 | /* $Id: DBGFAddrSpace.cpp 12677 2008-09-24 07:19:03Z vboxsync $ */
|
|---|
| 2 | /** @file
|
|---|
| 3 | * DBGF - Debugger Facility, Address Space Management.
|
|---|
| 4 | */
|
|---|
| 5 |
|
|---|
| 6 | /*
|
|---|
| 7 | * Copyright (C) 2008 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 | /** @page pg_dbgf_addr_space DBGFAddrSpace - Address Space Management
|
|---|
| 24 | *
|
|---|
| 25 | * What's an address space? It's mainly a convenient way of stuffing
|
|---|
| 26 | * module segments and ad-hoc symbols together. It will also help out
|
|---|
| 27 | * when the debugger gets extended to deal with user processes later.
|
|---|
| 28 | *
|
|---|
| 29 | * There are two standard address spaces that will always be present:
|
|---|
| 30 | * - The physical address space.
|
|---|
| 31 | * - The global virtual address space.
|
|---|
| 32 | *
|
|---|
| 33 | * Additional address spaces will be added and removed at runtime for
|
|---|
| 34 | * guest processes. The global virtual address space will be used to
|
|---|
| 35 | * track the kernel parts of the OS, or at least the bits of the kernel
|
|---|
| 36 | * that is part of all address spaces (mac os x and 4G/4G patched linux).
|
|---|
| 37 | *
|
|---|
| 38 | */
|
|---|
| 39 |
|
|---|
| 40 |
|
|---|
