symbols.h

Go to the documentation of this file.

 
#ifndef KERNEL_SYMBOLS_H
#define KERNEL_SYMBOLS_H
 
#include <kernel/types.h>
 
#include <utils/compiler.h>
 
typedef struct PACKED kernel_symbol {
    u32 size;
    u32 address;
} kernel_symbol_t;
 
typedef struct PACKED kernel_symbol_table {
    u32 count;
    const kernel_symbol_t symbols[];
} kernel_symbol_table_t;
 
ALWAYS_INLINE const char *kernel_symbol_name(const kernel_symbol_t *sym)
{
    return ((const char *)sym + sizeof(kernel_symbol_t));
}
 
const kernel_symbol_t *kernel_symbol_from_address(vaddr_t address);
 
#endif /* KERNEL_SYMBOLS_H */