jcs.org
Serenity Operating System
1/*
2 * Copyright (c) 2020-2021, Andreas Kling <kling@serenityos.org>
3 *
4 * SPDX-License-Identifier: BSD-2-Clause
5 */
6
7#pragma once
8
9#include <AK/Types.h>
10#include <Kernel/Forward.h>
11
12namespace Kernel {
13
14class ScopedAddressSpaceSwitcher {
15public:
16 explicit ScopedAddressSpaceSwitcher(Process&);
17 ~ScopedAddressSpaceSwitcher();
18
19private:
20 u32 m_previous_cr3 { 0 };
21};
22
23}