blob: 3d4e1c5fe88e9a2ccdceb7d7c83a50ff8de09646 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
|
#include <stdint.h>
uintptr_t get_current_sp(void);
uintptr_t get_current_sbp(void);
__attribute__((__noreturn__)) void halt(void);
uintptr_t get_cr2(void);
void flush_tlb(void);
void set_sp(uintptr_t);
void set_sbp(uintptr_t);
void set_cr3(uintptr_t);
uintptr_t get_cr3(void);
void enable_paging(void);
void wait_for_interrupt(void);
|