summaryrefslogtreecommitdiff
path: root/src/kernel/arch/generic.h
blob: 84be9371987c7c67ba547e539b9644b8142fc2fc (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
38
39
#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_free(struct pagedir *);
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);