1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
|
#pragma once
#include <stddef.h>
#include <stdint.h>
typedef uint64_t phys_addr_t;
enum memory_range_type
{
UNUSABLE_MEMORY,
RESERVED_MEMORY,
SYSTEM_MEMORY,
AVAILABLE_MEMORY,
};
struct memory_range
{
enum memory_range_type type;
phys_addr_t base;
size_t size;
};
enum map_page_flags
{
CONTENT_CODE = 0x1,
CONTENT_RODATA = 0x2,
CONTENT_RWDATA = 0x3,
CONTENT_MASK = 0x3,
SIZE_4K = 0x4,
SIZE_2M = 0x8,
SIZE_1G = 0xc,
SIZE_MASK = 0xc,
};
void memory_init(struct memory_range *ranges, int count);
void *memcpy(void *dest, const void *src, size_t size);
void *memmove(void *dest, const void *src, size_t size);
void *memset(void *dest, int val, size_t size);
void *memcmp(const void *str1, const void *str2, size_t count);
void *kernel_map_page(phys_addr_t paddr, enum map_page_flags flags);
void kernel_unmap_page(void *vaddr);
phys_addr_t page_alloc(void);
void page_free(phys_addr_t paddr);
|
