jcs.org
Serenity Operating System
1/*
2 * Copyright (c) 2020, Andreas Kling <kling@serenityos.org>
3 *
4 * SPDX-License-Identifier: BSD-2-Clause
5 */
6
7#include <Kernel/InterruptDisabler.h>
8#include <Kernel/Memory/MemoryManager.h>
9#include <Kernel/Memory/ScopedAddressSpaceSwitcher.h>
10
11namespace Kernel {
12
13ScopedAddressSpaceSwitcher::ScopedAddressSpaceSwitcher(Process& process)
14{
15 VERIFY(Thread::current() != nullptr);
16#if ARCH(X86_64)
17 m_previous_cr3 = read_cr3();
18#elif ARCH(AARCH64)
19 TODO_AARCH64();
20#endif
21 Memory::MemoryManager::enter_process_address_space(process);
22}
23
24ScopedAddressSpaceSwitcher::~ScopedAddressSpaceSwitcher()
25{
26 InterruptDisabler disabler;
27#if ARCH(X86_64)
28 Thread::current()->regs().cr3 = m_previous_cr3;
29 write_cr3(m_previous_cr3);
30#elif ARCH(AARCH64)
31 TODO_AARCH64();
32#endif
33}
34
35}