#pragma once

extern int stack_top;
extern int _kernel_pstart;
extern int _kernel_pend;
extern int _kernel_start;
extern int _kernel_tend;
extern int _kernel_end;