Barrelfish
Macros | Variables
offsets.h File Reference

Macros

#define SIZE_KERNEL_IMAGE   (size_t)(&_end_kernel - &_start_kernel)
 

Variables

char _start_kernel
 
char _end_kernel
 

Macro Definition Documentation

#define SIZE_KERNEL_IMAGE   (size_t)(&_end_kernel - &_start_kernel)

The size of the whole kernel image.

Variable Documentation

char _end_kernel

Symbol: End of kernel image. This symbol points to the end address of the kernel image.

char _start_kernel

Symbol: Start of kernel image. This symbol points to the start address of the kernel image.