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
48
49
50
51
52
53
54
55
56
57
|
#pragma once
#include <camellia/types.h>
#include <kernel/arch/amd64/registers.h>
#include <stdarg.h>
#include <stdbool.h>
#include <stddef.h>
struct process;
// 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 cpu_halt(void);
__attribute__((noreturn))
void cpu_shutdown(void);
__attribute__((noreturn))
void shutdown(void);
/** on x86: waits for an IRQ */
void cpu_pause(void);
uint64_t uptime_ms(void);
void timer_schedule(struct process *p, uint64_t time);
void timer_deschedule(struct process *p);
// 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_free(struct pagedir *);
void pagedir_unmap_user(struct pagedir *dir, void __user *virt, size_t len);
void pagedir_map(struct pagedir *dir, void __user *virt, void *phys,
bool user, bool writeable);
bool pagedir_iskern(struct pagedir *, const void __user *virt);
void __user *pagedir_findfree(struct pagedir *dir, char __user *start, size_t len);
void pagedir_switch(struct pagedir *);
// return 0 on failure
void *pagedir_virt2phys(struct pagedir *dir, const void __user *virt,
bool user, bool writeable);
int kprintf(const char *fmt, ...);
void *debug_caller(size_t depth);
void debug_stacktrace(void);
|
