| 1 | /** @file
|
|---|
| 2 | *
|
|---|
| 3 | * InnoTek Portable Runtime - Parameter Definitions.
|
|---|
| 4 | */
|
|---|
| 5 |
|
|---|
| 6 | /*
|
|---|
| 7 | * Copyright (C) 2006 InnoTek Systemberatung GmbH
|
|---|
| 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 as published by the Free Software Foundation,
|
|---|
| 13 | * in version 2 as it comes in the "COPYING" file of the VirtualBox OSE
|
|---|
| 14 | * distribution. VirtualBox OSE is distributed in the hope that it will
|
|---|
| 15 | * be useful, but WITHOUT ANY WARRANTY of any kind.
|
|---|
| 16 | *
|
|---|
| 17 | * If you received this file as part of a commercial VirtualBox
|
|---|
| 18 | * distribution, then only the terms of your commercial VirtualBox
|
|---|
| 19 | * license agreement apply instead of the previous paragraph.
|
|---|
| 20 | */
|
|---|
| 21 |
|
|---|
| 22 | #ifndef __iprt_param_h__
|
|---|
| 23 | #define __iprt_param_h__
|
|---|
| 24 |
|
|---|
| 25 | /** @todo Much of the PAGE_* stuff here is obsolete and highly risky to have around.
|
|---|
| 26 | * As for component configs (MM_*), either we gather all in here or we move those bits away! */
|
|---|
| 27 |
|
|---|
| 28 | /** @defgroup grp_rt_param System Parameter Definitions
|
|---|
| 29 | * @ingroup grp_rt_cdefs
|
|---|
| 30 | * @{
|
|---|
| 31 | */
|
|---|
| 32 |
|
|---|
| 33 | /**
|
|---|
| 34 | * i386 Page size.
|
|---|
| 35 | */
|
|---|
| 36 | #define PAGE_SIZE 4096
|
|---|
| 37 |
|
|---|
| 38 | /**
|
|---|
| 39 | * i386 Page shift.
|
|---|
| 40 | * This is used to convert between size (in bytes) and page count.
|
|---|
| 41 | */
|
|---|
| 42 | #define PAGE_SHIFT 12
|
|---|
| 43 |
|
|---|
| 44 | /**
|
|---|
| 45 | * i386 Page offset mask.
|
|---|
| 46 | *
|
|---|
| 47 | * Do NOT one-complement this for whatever purpose. You may get a 32-bit const when you want a 64-bit one.
|
|---|
| 48 | * Use PAGE_BASE_MASK, PAGE_BASE_GC_MASK, PAGE_BASE_HC_MASK, PAGE_ADDRESS() or X86_PTE_PAE_PG_MASK.
|
|---|
| 49 | */
|
|---|
| 50 | #define PAGE_OFFSET_MASK 0xfff
|
|---|
| 51 |
|
|---|
| 52 | /**
|
|---|
| 53 | * Page address mask for the guest context POINTERS.
|
|---|
| 54 | * @remark Physical addresses are always masked using X86_PTE_PAE_PG_MASK!
|
|---|
| 55 | */
|
|---|
| 56 | #define PAGE_BASE_GC_MASK (~(RTGCUINTPTR)0xfff)
|
|---|
| 57 |
|
|---|
| 58 | /**
|
|---|
| 59 | * Page address mask for the host context POINTERS.
|
|---|
| 60 | * @remark Physical addresses are always masked using X86_PTE_PAE_PG_MASK!
|
|---|
| 61 | */
|
|---|
| 62 | #define PAGE_BASE_HC_MASK (~(RTHCUINTPTR)0xfff)
|
|---|
| 63 |
|
|---|
| 64 | /**
|
|---|
| 65 | * Page address mask for the both context POINTERS.
|
|---|
| 66 | *
|
|---|
| 67 | * Be careful when using this since it may be a size too big!
|
|---|
| 68 | * @remark Physical addresses are always masked using X86_PTE_PAE_PG_MASK!
|
|---|
| 69 | */
|
|---|
| 70 | #define PAGE_BASE_MASK (~(RTUINTPTR)0xfff)
|
|---|
| 71 |
|
|---|
| 72 | /**
|
|---|
| 73 | * Get the page aligned address of a POINTER in the CURRENT context.
|
|---|
| 74 | *
|
|---|
| 75 | * @returns Page aligned address (it's an uintptr_t).
|
|---|
| 76 | * @param pv The address to align.
|
|---|
| 77 | *
|
|---|
| 78 | * @remark Physical addresses are always masked using X86_PTE_PAE_PG_MASK!
|
|---|
| 79 | */
|
|---|
| 80 | #define PAGE_ADDRESS(pv) ((uintptr_t)(pv) & ~(uintptr_t)0xfff)
|
|---|
| 81 |
|
|---|
| 82 | #if 1 /** @todo remove this! Use X86_PAGE_* defines. */
|
|---|
| 83 | /**
|
|---|
| 84 | * i386 Page directory shift.
|
|---|
| 85 | * This is used to convert between PDR index and virtual address.
|
|---|
| 86 | * @deprecated Use X86_*.
|
|---|
| 87 | */
|
|---|
| 88 | #define PGDIR_SHIFT 22
|
|---|
| 89 |
|
|---|
| 90 | /**
|
|---|
| 91 | * i386 Page table mask.
|
|---|
| 92 | * This is used together with PAGE_SHIFT to get the page table
|
|---|
| 93 | * index from a virtual address.
|
|---|
| 94 | * @deprecated Use X86_*.
|
|---|
| 95 | */
|
|---|
| 96 | #define PTE_MASK 0x3ff
|
|---|
| 97 |
|
|---|
| 98 | /**
|
|---|
| 99 | * i386 Page table and page directory entry count for the default
|
|---|
| 100 | * paging mode.
|
|---|
| 101 | * @deprecated Use X86_*.
|
|---|
| 102 | */
|
|---|
| 103 | #define PAGE_ENTRIES 1024
|
|---|
| 104 |
|
|---|
| 105 | /**
|
|---|
| 106 | * i386 4MB Page offset mask.
|
|---|
| 107 | * @deprecated Use X86_*.
|
|---|
| 108 | */
|
|---|
| 109 | #define PAGE_OFFSET_MASK_BIG 0x3fffff
|
|---|
| 110 | #endif /* obsolete */
|
|---|
| 111 |
|
|---|
| 112 | /**
|
|---|
| 113 | * Host max path (the reasonable value).
|
|---|
| 114 | */
|
|---|
| 115 | #define RTPATH_MAX (4096 + 4) /* (PATH_MAX + 1) on linux w/ some alignment */
|
|---|
| 116 |
|
|---|
| 117 | /** @} */
|
|---|
| 118 |
|
|---|
| 119 |
|
|---|
| 120 | /** @} */
|
|---|
| 121 |
|
|---|
| 122 | #endif
|
|---|
| 123 |
|
|---|
