diff options
| author | Michael Scire <SciresM@gmail.com> | 2019-07-08 22:19:27 -0700 |
|---|---|---|
| committer | Michael Scire <SciresM@gmail.com> | 2019-07-08 22:52:05 -0700 |
| commit | 697206092e8ac28c7dfe83eff0eea6613082740c (patch) | |
| tree | 587b19d4fbf727a88524fefff496c2c12d9f7f97 /src/common/string_util.cpp | |
| parent | ca6f08e3b1df011075bf4564bbb61d4cdf9a7737 (diff) | |
Prevent merging of device mapped memory blocks.
This sets the DeviceMapped attribute for GPU-mapped memory blocks,
and prevents merging device mapped blocks. This prevents memory
mapped from the gpu from having its backing address changed by
block coalesce.
Diffstat (limited to 'src/common/string_util.cpp')
0 files changed, 0 insertions, 0 deletions