RTEMS
6.3
Toggle main menu visibility
Loading...
Searching...
No Matches
bsps
x86_64
include
libcpu
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
35
extern
uint64_t amd64_pml4[NUM_PAGE_TABLE_ENTRIES];
36
extern
uint64_t amd64_pdpt[NUM_PAGE_TABLE_ENTRIES];
37
38
bool
paging_1gib_pages_supported(
void
);
39
uint8_t get_maxphysaddr(
void
);
40
uint64_t get_mask_for_bits(uint8_t start, uint8_t end);
41
uint64_t create_cr3_entry(
42
uint64_t phys_addr, uint8_t maxphysaddr, uint64_t flags
43
);
44
uint64_t create_pml4_entry(
45
uint64_t phys_addr, uint8_t maxphysaddr, uint64_t flags
46
);
47
uint64_t create_pdpt_entry(
48
uint64_t phys_addr, uint8_t maxphysaddr, uint64_t flags
49
);
50
51
void
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
Generated by
1.18.0