diff options
Diffstat (limited to 'src/include/kernel/devicesegment.H')
-rw-r--r-- | src/include/kernel/devicesegment.H | 17 |
1 files changed, 12 insertions, 5 deletions
diff --git a/src/include/kernel/devicesegment.H b/src/include/kernel/devicesegment.H index 4adfaf04f..58f381f06 100644 --- a/src/include/kernel/devicesegment.H +++ b/src/include/kernel/devicesegment.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. */ @@ -70,9 +72,12 @@ class DeviceSegment : public Segment * @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 */ - 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); /** * @brief Unmap a device from the device segment. @@ -95,9 +100,11 @@ class DeviceSegment : public Segment */ struct devSegData { - uint64_t addr; //< Real address assigned to device - uint64_t no_ci:1; //< Device should be mapped non-CI. - uint64_t size:63; //< A particular device's segment block size + uint64_t addr; //< Real address assigned to device + uint64_t no_ci:1; //< Device should be mapped non-CI. + uint64_t guarded:1; //< Whether to prevent out-of-order access to + //< instructions or data in the segment + uint64_t size:62; //< A particular device's segment block size }; /** |