symbols.h

Go to the documentation of this file.

 
#ifndef LINKER_SYMBOLS_H
#define LINKER_SYMBOLS_H
 
#include "mem_layout/mem_layout.h"
#include "page_table/page_table.h"
 
#include <stddef.h>
#include <stdint.h>
 
extern uint8_t idmap_pg_dir_bitmap_start[];
 
extern uint8_t idmap_pg_dir_start[];
 
extern uint8_t kernel_pg_dir_root_start[];
 
extern const char image_start;
 
extern const char image_end;
 
static inline size_t get_image_size(void)
{
    return (size_t)((uintptr_t)&image_end - (uintptr_t)(&image_start));
}
 
static inline phy_addr get_id_map_region_start(void)
{
    return (phy_addr)&idmap_pg_dir_bitmap_start;
}
 
static inline page_table_t *get_id_map_root(void)
{
    return (page_table_t *)&idmap_pg_dir_start;
}
 
static inline page_table_t *get_kernel_map_root(void)
{
    return (page_table_t *)&kernel_pg_dir_root_start;
}
 
#endif // LINKER_SYMBOLS_H