Kernel/Arch/aarch64/CPU.h


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16

/*
 * Copyright (c) 2018-2022, James Mintram <me@jamesrm.com>
 *
 * SPDX-License-Identifier: BSD-2-Clause
 */

#pragma once

#define PAGE_MASK (~(FlatPtr)0xfffu)

namespace Kernel {

void drop_to_exception_level_1();
void init_prekernel_page_tables();

}