DB_EXEC            93 kern/syscall/loadelf.c 	DEBUG(DB_EXEC, "ELF: Loading %lu bytes to 0x%lx\n", 
DB_EXEC           137 kern/syscall/loadelf.c 			DEBUG(DB_EXEC, "ELF: Zero-filling %lu more bytes\n",