Lines Matching refs:dprintf
40 #define dprintf if (resalloc_debug) printf macro
139 dprintf("boot: failed to allocate %lu bytes from scratch " in vpage_from_freelist()
147 dprintf("reuse freed temp scratch: bytes = %lu at %p\n", bytes, in vpage_from_freelist()
191 dprintf("using %lu bytes of reserved mem (%lu left)\n", in get_low_vpage()
210 dprintf("boot: resalloc_init: failed to read iarch\n"); in resalloc_init()
214 dprintf("boot: resalloc_init: got iarch %s\n", iarch); in resalloc_init()
231 dprintf("boot: resalloc_init: boosted top_bootmem to %p\n", in resalloc_init()
250 dprintf("resalloc: bytes = %lu\n", bytes); in resalloc()
264 dprintf("vaddr = %p, paddr = %lx\n", (void *)vaddr, in resalloc()
320 dprintf("memlistpage = %p\n", (void *)memlistpage); in reset_alloc()
321 dprintf("le_page = %p\n", (void *)le_page); in reset_alloc()