diff options
| author | Patrick Williams <iawillia@us.ibm.com> | 2011-07-08 19:33:40 -0500 |
|---|---|---|
| committer | A. Patrick Williams III <iawillia@us.ibm.com> | 2011-07-20 14:58:43 -0500 |
| commit | 471f09f1a9bcc46fc385fa8aca776cb682075c0b (patch) | |
| tree | e0a4969825799dcc4c28a71975cb68439f507390 /src/include/kernel/ptmgr.H | |
| parent | 3ecf7085ccc55eb4f815a62f47ea09f55bb6688e (diff) | |
| download | blackbird-hostboot-471f09f1a9bcc46fc385fa8aca776cb682075c0b.tar.gz blackbird-hostboot-471f09f1a9bcc46fc385fa8aca776cb682075c0b.zip | |
VMM Improvements.
- Segment Manager
- Base / Device Segments
- Block for Base image.
Change-Id: Ic0c058e5c5b210ec1c48d30f6ed9f9837d74a3c8
Reviewed-on: http://gfw160.austin.ibm.com:8080/gerrit/193
Tested-by: Jenkins Server
Reviewed-by: MATTHEW S. BARTH <msbarth@us.ibm.com>
Diffstat (limited to 'src/include/kernel/ptmgr.H')
| -rw-r--r-- | src/include/kernel/ptmgr.H | 16 |
1 files changed, 8 insertions, 8 deletions
diff --git a/src/include/kernel/ptmgr.H b/src/include/kernel/ptmgr.H index db552ada4..462a6400e 100644 --- a/src/include/kernel/ptmgr.H +++ b/src/include/kernel/ptmgr.H @@ -17,7 +17,7 @@ class PageTableManager /** * Status Values */ - enum + enum { PTE_UNKNOWN = 0x0000000000000000, /**< Entry wasn't found */ PTE_PRESENT = 0x0000000000000001, /**< Entry is present in table */ @@ -71,7 +71,7 @@ class PageTableManager * @param[in] i_vAddrFinish End of VA range to remove (full address) */ static void delRangeVA( uint64_t i_vAddrStart, - uint64_t i_vAddrFinish ); + uint64_t i_vAddrFinish ); /** @@ -81,7 +81,7 @@ class PageTableManager * @param[in] i_pnFinish Last Physical Page to remove (page number) */ static void delRangePN( uint64_t i_pnStart, - uint64_t i_pnFinish ); + uint64_t i_pnFinish ); /** * @brief Return status information about an entry in the hardware page table @@ -138,7 +138,7 @@ class PageTableManager * Local copy of Page Table for user-space testing * (set to NULL for kernel instance) */ - char* ivTABLE; + char* ivTABLE; /** @@ -177,7 +177,7 @@ class PageTableManager uint64_t WIMG:4; /**< 57:60 Storage control bits */ uint64_t N:1; /**< 61 No-execute page (N==1) */ uint64_t pp1_2:2; /**< 62:63 Page Protection bits 1:2 */ - }; + }; uint64_t dword1; /**< Full Dword1 */ }; } PACKED; @@ -294,7 +294,7 @@ class PageTableManager * @param[in] i_vAddrFinish End of VA range to remove */ void _delRangeVA( uint64_t i_vAddrStart, - uint64_t i_vAddrFinish ); + uint64_t i_vAddrFinish ); /** * @brief Remove a range of entries from the hardware page table @@ -303,7 +303,7 @@ class PageTableManager * @param[in] i_pnFinish Last Physical Page to remove */ void _delRangePN( uint64_t i_pnStart, - uint64_t i_pnFinish ); + uint64_t i_pnFinish ); /** * @brief Return status information about an entry in the hardware page table @@ -399,7 +399,7 @@ class PageTableManager - // Allow testcase to see inside + // Allow testcase to see inside friend class ptmgrtest; }; |
