Searched refs:kernel_start (Results 1 - 11 of 11) sorted by relevance
/barrelfish-2018-10-04/tools/ds5/configdb/ |
H A D | bootDebug.py | 20 kernel_start = vs.readValue('boot_arguments.cpu_driver_base') variable 22 offset = int(kernel_start) - LINKADDRESS 24 print "Kernel loaded at: %08x" % int(kernel_start), " linked at %08x" % LINKADDRESS, " offset %08x" % offset
|
H A D | kernelDebug.py | 20 kernel_start = vs.readValue('boot_arguments.cpu_driver_base') variable 22 offset = int(kernel_start) - LINKADDRESS 24 print "Kernel loaded at: %08x" % int(kernel_start), " linked at %08x" % LINKADDRESS, " offset %08x" % offset
|
H A D | kernelDebug_A15.py | 20 kernel_start = vs.readValue('boot_arguments.cpu_driver_base') variable 22 offset = int(kernel_start) - LINKADDRESS 24 print "Kernel loaded at: %08x" % int(kernel_start), " linked at %08x" % LINKADDRESS, " offset %08x" % offset
|
H A D | bootPanda.py | 37 kernel_start = vs.readValue('boot_arguments.cpu_driver_base') variable 39 offset = int(kernel_start) - LINKADDRESS 41 print "Kernel loaded at: %08x" % int(kernel_start), " linked at %08x" % LINKADDRESS, " offset %08x" % offset
|
H A D | kernelPanda.py | 37 kernel_start = vs.readValue('boot_arguments.cpu_driver_base') variable 39 offset = int(kernel_start) - LINKADDRESS 41 print "Kernel loaded at: %08x" % int(kernel_start), " linked at %08x" % LINKADDRESS, " offset %08x" % offset
|
/barrelfish-2018-10-04/tools/arm_molly/ |
H A D | molly_init32.c | 73 lpaddr_t kernel_start = phys_alloc_start; local 94 elf32_relocate(kernel_start, elfbase, 99 elfbase, (void *)kernel_start); 100 kernel_entry = kernel_entry - elfbase + kernel_start;
|
H A D | molly_init64.c | 74 lpaddr_t kernel_start = phys_alloc_start; local 95 elf64_relocate(kernel_start, elfbase, 100 elfbase, (void *)kernel_start); 101 kernel_entry = kernel_entry - elfbase + kernel_start;
|
/barrelfish-2018-10-04/tools/molly/ |
H A D | molly_init.c | 271 lpaddr_t kernel_start = next_addr; local 299 elf64_relocate(kernel_start, elfbase, 304 elfbase, (void *)kernel_start); 305 kernel_entry = kernel_entry - elfbase + kernel_start;
|
/barrelfish-2018-10-04/tools/weever/ |
H A D | loader.c | 228 lpaddr_t kernel_start = phys_alloc_start; local 293 kernel_start, elfbase, 297 symtab->sh_size, elfbase, (void *) kernel_start); 299 kernel_entry = kernel_entry - elfbase + kernel_start;
|
/barrelfish-2018-10-04/tools/elver/ |
H A D | elver.c | 271 lpaddr_t kernel_start = phys_alloc_start; local 287 elf64_relocate(kernel_start, elfbase, 292 elfbase, (void *)kernel_start); 293 kernel_entry = kernel_entry - elfbase + kernel_start;
|
/barrelfish-2018-10-04/tools/fastmodels/ |
H A D | main.c | 695 uint64_t kernel_start= allocbase; local 700 KERNEL_OFFSET + kernel_start, 707 mmap[0].PhysicalStart= kernel_start; 708 mmap[0].VirtualStart= kernel_start; 918 fprintf(outfile, "vminit_address\t0x%lx\n", kernel_start); 920 KERNEL_OFFSET + kernel_start);
|
Completed in 44 milliseconds