RTEMS 6.1-rc7
Loading...
Searching...
No Matches
page.h
1/* SPDX-License-Identifier: BSD-2-Clause */
2
3/*
4 * Copyright (c) 2018 Amaan Cheval <amaan.cheval@gmail.com>
5 *
6 * Redistribution and use in source and binary forms, with or without
7 * modification, are permitted provided that the following conditions
8 * are met:
9 * 1. Redistributions of source code must retain the above copyright
10 * notice, this list of conditions and the following disclaimer.
11 * 2. Redistributions in binary form must reproduce the above copyright
12 * notice, this list of conditions and the following disclaimer in the
13 * documentation and/or other materials provided with the distribution.
14 *
15 * THIS SOFTWARE IS PROVIDED BY THE AUTHOR AND CONTRIBUTORS ``AS IS'' AND
16 * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
17 * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
18 * ARE DISCLAIMED. IN NO EVENT SHALL THE AUTHOR OR CONTRIBUTORS BE LIABLE
19 * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
20 * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
21 * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
22 * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
23 * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
24 * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
25 * SUCH DAMAGE.
26 */
27
28#ifndef _LIBCPU_AMD64_PAGE_H
29#define _LIBCPU_AMD64_PAGE_H
30
31#ifndef ASM
32
33#define NUM_PAGE_TABLE_ENTRIES 512
34
35extern uint64_t amd64_pml4[NUM_PAGE_TABLE_ENTRIES];
36extern uint64_t amd64_pdpt[NUM_PAGE_TABLE_ENTRIES];
37
38bool paging_1gib_pages_supported(void);
39uint8_t get_maxphysaddr(void);
40uint64_t get_mask_for_bits(uint8_t start, uint8_t end);
41uint64_t create_cr3_entry(
42 uint64_t phys_addr, uint8_t maxphysaddr, uint64_t flags
43);
44uint64_t create_pml4_entry(
45 uint64_t phys_addr, uint8_t maxphysaddr, uint64_t flags
46);
47uint64_t create_pdpt_entry(
48 uint64_t phys_addr, uint8_t maxphysaddr, uint64_t flags
49);
50
51void paging_init(void);
52
53#define PAGE_FLAGS_PRESENT (1 << 0)
54#define PAGE_FLAGS_WRITABLE (1 << 1)
55#define PAGE_FLAGS_USER_ACCESSIBLE (1 << 2)
56#define PAGE_FLAGS_WRITE_THROUGH (1 << 3)
57#define PAGE_FLAGS_NO_CACHE (1 << 4)
58#define PAGE_FLAGS_ACCESSED (1 << 5)
59#define PAGE_FLAGS_DIRTY (1 << 6)
60#define PAGE_FLAGS_HUGE_PAGE (1 << 7)
61#define PAGE_FLAGS_GLOBAL (1 << 8)
62#define PAGE_FLAGS_NO_EXECUTE (1 << 63)
63
64#define PAGE_FLAGS_DEFAULTS \
65 (PAGE_FLAGS_PRESENT | PAGE_FLAGS_WRITABLE | PAGE_FLAGS_NO_CACHE)
66
67#endif /* !ASM */
68#endif