Searched refs:LINKADDRESS (Results 1 - 5 of 5) sorted by relevance

/barrelfish-master/tools/ds5/configdb/
H A DbootDebug.py6 LINKADDRESS = 0 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.py6 LINKADDRESS = 0 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.py6 LINKADDRESS = 0 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.py8 LINKADDRESS = 0 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.py8 LINKADDRESS = 0 variable
39 offset = int(kernel_start) - LINKADDRESS
41 print "Kernel loaded at: %08x" % int(kernel_start), " linked at %08x" % LINKADDRESS, " offset %08x" % offset

Completed in 28 milliseconds