Barrelfish
|
Macros | |
#define | SIZE_KERNEL_IMAGE (size_t)(&_end_kernel - &_start_kernel) |
Variables | |
char | _start_kernel |
char | _end_kernel |
#define SIZE_KERNEL_IMAGE (size_t)(&_end_kernel - &_start_kernel) |
The size of the whole kernel image.
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.