Searched refs:ptr_to_uint32 (Results 1 - 1 of 1) sorted by relevance
/barrelfish-master/tools/molly/ | ||
H A D | molly_init.c | 240 static uint32_t ptr_to_uint32(void *ptr) { function 312 mbi->syms.elf.addr = ptr_to_uint32(kernel) + cpu_head->e_shoff; 319 ptr_to_uint32(mbi) |
Completed in 44 milliseconds