Searched refs:kernel_start (Results 1 - 11 of 11) sorted by relevance

/barrelfish-2018-10-04/tools/ds5/configdb/
H A DbootDebug.py20 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 DkernelDebug.py20 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 DkernelDebug_A15.py20 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 DbootPanda.py37 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 DkernelPanda.py37 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 Dmolly_init32.c73 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 Dmolly_init64.c74 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 Dmolly_init.c271 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 Dloader.c228 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 Delver.c271 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 Dmain.c695 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