blob: 92d722282d3d7e31648d6d9694825c93af94fc1c (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
|
#pragma once
#include "memory.h"
void page_stack_init(void);
kc_phys_addr page_stack_alloc(enum page_alloc_flags type);
void page_stack_free(kc_phys_addr page);
int page_stack_get_present(kc_phys_addr page);
void page_stack_set_present(kc_phys_addr page);
void page_stack_set_allocated(kc_phys_addr page);
void page_stack_set_free(kc_phys_addr page);
int page_stack_inc_ref(kc_phys_addr page);
int page_stack_dec_ref(kc_phys_addr page);
|