RTEMS: bsps/x86_64/include/libcpu/page.h Source File

| RTEMS 5.4-rc2

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