|
Voxia OS v0.0.1
Hobby Project Operating System Targeting x86-64
|
#include "hal/cpu/paging.h"#include "init/init.h"#include "libk/debug/debug.h"#include "libk/executable/elf.h"#include "libk/serial.h"#include "libk/symbols.h"#include <vector.h>#include "memory/phys_base_allocator.h"#include "memory/vm_manager.h"#include <str.h>#include <modules/kernel_reader.h>Go to the source code of this file.
Functions | |
| INIT (KernelReader) | |
| symbols_ptr | kernel_get_symbols () |
Variables | |
| symbols | ksymbols |
| INIT | ( | KernelReader | ) |
Definition at line 15 of file kernel_reader.c.
References addr, BLOCK_SIZE, DEBUG_LEVEL_INFO, Elf64_Ehdr::e_entry, Elf64_Ehdr::e_version, elf_section_map_all(), get_kernel_vmm_page(), KDEBUG, ksymbols, LOG_ERROR, LOG_INFO, name, paging_get_highest_page_map(), paging_reload(), Elf64_Shdr::sh_offset, Elf64_Shdr::sh_size, Elf64_Sym::st_name, elf_section_map::strtab, symbols_register(), elf_section_map::symtab, vector_init, vma_lookup_free_vaddr(), VMA_REGION_A, vma_register(), and vxMultipleMmap().
| symbols_ptr kernel_get_symbols | ( | ) |
| symbols ksymbols |
Definition at line 13 of file kernel_reader.c.
Referenced by INIT(), and kernel_get_symbols().