blob: da573da8841d990f870aaecdbada8b8e3b1a88eb (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
#pragma once
#include <stddef.h>
#include <stdint.h>
typedef uint64_t phys_addr_t;
typedef uint64_t virt_addr_t;
void memory_init();
void *kmalloc(size_t size);
void kfree(void *block);
phys_addr_t page_alloc(void);
void page_free(phys_addr_t page);
|
