src/arch/generic.h


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

#pragma once

// i have no idea where else to put it
#define PAGE_SIZE 4096

// src/arch/i386/boot.s
extern void stack_top;

__attribute__((noreturn))
void halt_cpu();

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