Searched refs:SIZE_KERNEL_IMAGE (Results 1 - 9 of 9) sorted by relevance

/barrelfish-2018-10-04/kernel/include/arch/k1om/
H A Doffsets.h96 #define SIZE_KERNEL_IMAGE \ macro
/barrelfish-2018-10-04/kernel/include/arch/x86_32/
H A Doffsets.h83 #define SIZE_KERNEL_IMAGE \ macro
/barrelfish-2018-10-04/kernel/include/arch/x86_64/
H A Doffsets.h95 #define SIZE_KERNEL_IMAGE \ macro
/barrelfish-2018-10-04/kernel/arch/k1om/
H A Dstartup_arch.c234 ((SIZE_KERNEL_IMAGE & 0x1000 ) == SIZE_KERNEL_IMAGE ? \
235 SIZE_KERNEL_IMAGE : \
236 (SIZE_KERNEL_IMAGE & 0xfffffffffffff000) + 0x1000)
H A Dinit.c721 paging_init((lpaddr_t)&_start_kernel, SIZE_KERNEL_IMAGE);
/barrelfish-2018-10-04/kernel/arch/x86_32/
H A Dstartup_arch.c294 ((SIZE_KERNEL_IMAGE & 0x1000 ) == SIZE_KERNEL_IMAGE ? \
295 SIZE_KERNEL_IMAGE : \
296 (SIZE_KERNEL_IMAGE & 0xfffffffffffff000) + 0x1000)
/barrelfish-2018-10-04/kernel/arch/x86_64/
H A Dpaging.c171 SIZE_KERNEL_IMAGE) != 0) {
H A Dstartup_arch.c236 ((SIZE_KERNEL_IMAGE & 0x1000 ) == SIZE_KERNEL_IMAGE ? \
237 SIZE_KERNEL_IMAGE : \
238 (SIZE_KERNEL_IMAGE & 0xfffffffffffff000) + 0x1000)
H A Dinit.c686 paging_init((lpaddr_t)&_start_kernel, SIZE_KERNEL_IMAGE);

Completed in 43 milliseconds