Searched refs:kernel_bytes (Results 1 - 3 of 3) sorted by relevance
| /barrelfish-master/tools/arm_molly/ |
| H A D | molly_init64.c | 80 uint32_t kernel_bytes = mbi_mods[0].mod_end - mbi_mods[0].mod_start; local
83 kernel_bytes, &kernel_entry, NULL, NULL, NULL);
|
| H A D | molly_init32.c | 79 uint32_t kernel_bytes = mbi_mods[0].mod_end - mbi_mods[0].mod_start; local
82 kernel_bytes, &kernel_entry, NULL, NULL, NULL);
|
| /barrelfish-master/tools/molly/ |
| H A D | molly_init.c | 266 uint32_t kernel_bytes = mbi_mods[0].mod_end - mbi_mods[0].mod_start; local
268 putstrptr64(" kernel bytes : ", (void*)(uint64_t)kernel_bytes);
277 (uint64_t) kernel, kernel_bytes,
|
Completed in 83 milliseconds