#ifndef KERNEL_H
#define KERNEL_H

// Symbols defined in kernel.ld.

#include "types.h"
#include "multiboot.h"

extern void addr_phys;
extern void addr_virt;
extern void addr_virt_end;
extern void addr_load_virt;
extern void addr_load_virt_end;

extern void entry_stack;

extern multiboot_info_t entry_multiboot_info;
extern multiboot_info_t multiboot_info;

extern uint32_t entry_map_p2[];
extern uint32_t entry_map_p1[2][1024];

extern volatile uint32_t map_p2[1024];
extern volatile union {uint32_t l[1024]; uint32_t b[1024][1024];} map_p1;

#endif