diff options
| author | Patrick Williams <iawillia@us.ibm.com> | 2011-10-19 17:27:20 -0500 |
|---|---|---|
| committer | A. Patrick Williams III <iawillia@us.ibm.com> | 2011-10-27 11:18:49 -0500 |
| commit | 07c744f567b3d57819992859bca92e525495a5e1 (patch) | |
| tree | ca5b28bbf4e6095edf31c6094e348ea84c2cd305 /src/include/kernel | |
| parent | 52b8fd22598841421ed95f8d86803ac11b600858 (diff) | |
| download | talos-hostboot-07c744f567b3d57819992859bca92e525495a5e1.tar.gz talos-hostboot-07c744f567b3d57819992859bca92e525495a5e1.zip | |
BEAM warning fixes.
Change-Id: Iada5e8b69c7919d2b59febd861450abeb7c45287
Reviewed-on: http://gfw160.austin.ibm.com:8080/gerrit/451
Tested-by: Jenkins Server
Reviewed-by: MATTHEW S. BARTH <msbarth@us.ibm.com>
Reviewed-by: Daniel M. Crowell <dcrowell@us.ibm.com>
Diffstat (limited to 'src/include/kernel')
| -rw-r--r-- | src/include/kernel/devicesegment.H | 8 | ||||
| -rw-r--r-- | src/include/kernel/vmmmgr.H | 6 |
2 files changed, 7 insertions, 7 deletions
diff --git a/src/include/kernel/devicesegment.H b/src/include/kernel/devicesegment.H index 89180b4eb..97d04743a 100644 --- a/src/include/kernel/devicesegment.H +++ b/src/include/kernel/devicesegment.H @@ -48,7 +48,7 @@ class DeviceSegment : public Segment * @brief Add the device segment */ static void init(); - + /** * @brief Handle a page fault for a device address access * @param i_task[in] - Task pointer to the task requiring the page @@ -74,7 +74,7 @@ class DeviceSegment : public Segment * @param i_devDataSize[in] - Size of device segment block * @return void* - Pointer to beginning virtual address, NULL otherwise */ - static void* devMap(void* ra, SEG_DATA_SIZES i_devDataSize); + static void* devMap(void* ra, uint64_t i_devDataSize); /** * @brief Unmap a device from the device segment(2TB) @@ -90,7 +90,7 @@ class DeviceSegment : public Segment struct devSegData { uint64_t addr; /* Real address assigned to device */ - SEG_DATA_SIZES size; /* A particular device's segment block size */ + uint64_t size; /* A particular device's segment block size */ devSegData(): addr(0),size(THIRTYTWO_GB){}; }; @@ -125,7 +125,7 @@ class DeviceSegment : public Segment * @param i_devDataSize[in] - Size of device segment block * @return void* - Pointer to beginning virtual address, NULL otherwise */ - void* _devMap(void* ra, SEG_DATA_SIZES i_devDataSize); + void* _devMap(void* ra, uint64_t i_devDataSize); /** * @brief Unmap a device from the device segment(2TB) diff --git a/src/include/kernel/vmmmgr.H b/src/include/kernel/vmmmgr.H index 864eed0fd..98b202db1 100644 --- a/src/include/kernel/vmmmgr.H +++ b/src/include/kernel/vmmmgr.H @@ -103,7 +103,7 @@ class VmmManager * @param i_devDataSize[in] - Size of device segment block * @return void* - Pointer to beginning virtual address, NULL otherwise */ - static void* devMap(void* ra, SEG_DATA_SIZES i_devDataSize); + static void* devMap(void* ra, uint64_t i_devDataSize); /** * @brief Unmap a device from the device segment(2TB) @@ -139,7 +139,7 @@ class VmmManager * @brief Flush pagetable, Update shadow page info */ static void flushPageTable( void); - + /** * @brief Remove pages by a specified operation of the given size * @param[in] i_op - Page removal operation to perform @@ -162,7 +162,7 @@ class VmmManager * @brief Sets the permissions for a given page or range of pages * @param i_va[in] - Virtual address of the page to update permission * @param i_size[in] - range of memory that needs permissions updated... - * if i_size equals 0 then we only need to update an + * if i_size equals 0 then we only need to update an * individual page. * @return int - 0 for successful permission update, non-zero otherwise * |
