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

/barrelfish-2018-10-04/tools/molly/
H A Dmolly_init.c96 static void putstrptr64(char *str, void *ptr) { function
251 putstrptr64(" boot image start : ", &_start_img);
252 putstrptr64(" boot image end : ", &_end_img);
255 putstrptr64(" multiboot info : ", mbi);
260 putstrptr64(" allocating from : ", (void*)next_addr);
267 putstrptr64(" kernel start : ", kernel);
268 putstrptr64(" kernel bytes : ", (void*)(uint64_t)kernel_bytes);
286 putstrptr64(" kernel entry pt : ", kernel_entry);
306 putstrptr64(" ...relocated to : ", kernel_entry);

Completed in 87 milliseconds