blob: 01a3826cf9633b8d5847c10e98b836afe9595c39 (
plain)
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
|
#pragma once
#include <kernel/arch/i386/registers.h>
#include <kernel/arch/io.h>
#include <shared/types.h>
#include <stdbool.h>
// i have no idea where else to put it
// some code assumes that it's a power of 2
#define PAGE_SIZE 4096
#define PAGE_MASK (PAGE_SIZE - 1)
// linker.ld
extern char _bss_end;
__attribute__((noreturn))
void halt_cpu(void);
__attribute__((noreturn))
void cpu_shutdown(void);
/** on x86: waits for an IRQ */
void cpu_pause(void);
// src/arch/i386/sysenter.s
_Noreturn void sysexit(struct registers);
// all of those can allocate memory
struct pagedir *pagedir_new(void);
struct pagedir *pagedir_copy(const struct pagedir *orig);
void pagedir_map(struct pagedir *dir, void __user *virt, void *phys,
bool user, bool writeable);
void pagedir_switch(struct pagedir *);
// return 0 on failure
void *pagedir_virt2phys(struct pagedir *dir, const void __user *virt,
bool user, bool writeable);
|