diff options
| author | Lioncash <mathew1800@gmail.com> | 2019-04-07 02:43:49 -0400 |
|---|---|---|
| committer | Lioncash <mathew1800@gmail.com> | 2019-04-07 02:43:51 -0400 |
| commit | c1a788780d16fb216cf3d0aabc71456a964b714b (patch) | |
| tree | e1e883f1c97221d7181cf471bc84a7e700611659 /src/video_core/buffer_cache/buffer_cache.h | |
| parent | 6a929c3a2cd3f99219f1ca154f7c0ac2c3175a32 (diff) | |
arm/arm_dynarmic: Remove unnecessary current_page_table member
Given the page table will always be guaranteed to be that of whatever
the current process is, we no longer need to keep this around.
Diffstat (limited to 'src/video_core/buffer_cache/buffer_cache.h')
0 files changed, 0 insertions, 0 deletions