Voxia OS v0.0.1
Hobby Project Operating System Targeting x86-64
Loading...
Searching...
No Matches
kernel_reader.c File Reference
#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
 

Function Documentation

◆ INIT()

◆ kernel_get_symbols()

symbols_ptr kernel_get_symbols ( )

Definition at line 57 of file kernel_reader.c.

References ksymbols.

Referenced by proccess_elf().

Variable Documentation

◆ ksymbols

symbols ksymbols

Definition at line 13 of file kernel_reader.c.

Referenced by INIT(), and kernel_get_symbols().