src/kernel/arch/generic.h


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17

#pragma once

#include <kernel/arch/log.h>

// i have no idea where else to put it
// some code assumes that it's a power of 2
#define PAGE_SIZE 4096

// linker.ld
extern char _bss_end;

__attribute__((noreturn))
void halt_cpu();

// src/arch/i386/sysenter.s
void sysexit(void (*fun)(), void *stack_top);
void sysenter_setup();