diff options
| author | Lioncash <mathew1800@gmail.com> | 2018-10-15 08:53:01 -0400 |
|---|---|---|
| committer | Lioncash <mathew1800@gmail.com> | 2018-10-15 14:15:50 -0400 |
| commit | aeadbfa790b11ba859605df8a9357b960084b2a0 (patch) | |
| tree | eb46f94603e38f81ccf443024357ad567d5ef15b /src/core/gdbstub/gdbstub.cpp | |
| parent | c34efbbd60a41afbbab2ff17bbff999519cfb4b6 (diff) | |
core: Make the exclusive monitor a unique_ptr instead of a shared_ptr
Like the barrier, this is owned entirely by the System and will always
outlive the encompassing state, so shared ownership semantics aren't
necessary here.
Diffstat (limited to 'src/core/gdbstub/gdbstub.cpp')
0 files changed, 0 insertions, 0 deletions