Searched refs:kernel_entry (Results 1 - 8 of 8) sorted by relevance
| /barrelfish-2018-10-04/tools/arm_molly/ |
| H A D | molly_init32.c | 46 genvaddr_t kernel_entry; variable
82 kernel_bytes, &kernel_entry, NULL, NULL, NULL);
100 kernel_entry = kernel_entry - elfbase + kernel_start;
108 molly_to_kernel_transition((uintptr_t)kernel_entry, mbi );
|
| H A D | molly_init64.c | 47 genvaddr_t kernel_entry; variable
83 kernel_bytes, &kernel_entry, NULL, NULL, NULL);
101 kernel_entry = kernel_entry - elfbase + kernel_start;
109 aarch64_to_kernel_transition((uintptr_t)kernel_entry, mbi );
|
| /barrelfish-2018-10-04/tools/fastmodels/ |
| H A D | config.h | 45 uint64_t kernel_entry; member in struct:config
|
| /barrelfish-2018-10-04/tools/molly/ |
| H A D | molly_init.c | 270 void *kernel_entry = NULL; local
278 (genvaddr_t *) &kernel_entry,
286 putstrptr64(" kernel entry pt : ", kernel_entry);
305 kernel_entry = kernel_entry - elfbase + kernel_start;
306 putstrptr64(" ...relocated to : ", kernel_entry);
317 molly_to_kernel_transition(kernel_entry,
|
| /barrelfish-2018-10-04/tools/weever/ |
| H A D | loader.c | 53 genvaddr_t kernel_entry; variable
255 MULTIBOOT_MODULE_SIZE(*kernel), &kernel_entry, NULL, NULL,
299 kernel_entry = kernel_entry - elfbase + kernel_start;
307 return kernel_entry;
|
| H A D | boot.S | 225 movq kernel_entry, %rcx
|
| /barrelfish-2018-10-04/tools/elver/ |
| H A D | elver.c | 238 genvaddr_t kernel_entry; variable
274 MULTIBOOT_MODULE_SIZE(*kernel), &kernel_entry, NULL, NULL, NULL);
293 kernel_entry = kernel_entry - elfbase + kernel_start;
|
| H A D | boot.S | 80 mov kernel_entry, %ecx
|
Completed in 51 milliseconds