diff options
Diffstat (limited to 'src/include/kernel/segmentmgr.H')
-rw-r--r-- | src/include/kernel/segmentmgr.H | 14 |
1 files changed, 11 insertions, 3 deletions
diff --git a/src/include/kernel/segmentmgr.H b/src/include/kernel/segmentmgr.H index fae616a2e..34bbe8fb6 100644 --- a/src/include/kernel/segmentmgr.H +++ b/src/include/kernel/segmentmgr.H @@ -5,7 +5,9 @@ /* */ /* OpenPOWER HostBoot Project */ /* */ -/* COPYRIGHT International Business Machines Corp. 2011,2014 */ +/* Contributors Listed Below - COPYRIGHT 2011,2015 */ +/* [+] International Business Machines Corp. */ +/* */ /* */ /* Licensed under the Apache License, Version 2.0 (the "License"); */ /* you may not use this file except in compliance with the License. */ @@ -138,9 +140,12 @@ class SegmentManager * @param ra[in] - Void pointer to real address to be mapped in * @param i_devDataSize[in] - Size of device segment block * @param i_nonCI[in] - Device should be mapped cacheable instead of CI + * @param i_guarded[in] - Whether to prevent out-of-order acces to + * instructions or data in the segment. Ignored if CI. * @return void* - Pointer to beginning virtual address, NULL otherwise */ - static void* devMap(void* ra, uint64_t i_devDataSize, bool i_nonCI); + static void* devMap(void* ra, uint64_t i_devDataSize, bool i_nonCI, + bool i_guarded); /** * @brief Unmap a device from the device segment @@ -165,8 +170,11 @@ class SegmentManager PageTableManager::UsageStats_t i_stats ); /** See castOutPages */ void _castOutPages(uint64_t i_type); + /** See devMap */ - void* _devMap(void* ra, uint64_t i_devDataSize, bool i_nonCI); + void* _devMap( + void* ra, uint64_t i_devDataSize, bool i_nonCI, bool i_guarded); + /** See devUnmap */ int _devUnmap(void* ea); |