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

/freebsd-10-stable/gnu/usr.bin/gdb/kgdb/
H A Dkld.c60 static CORE_ADDR kernel_file_addr; variable
345 if (linker_files_addr == 0 || kernel_file_addr == 0 ||
356 kernel = read_pointer(kernel_file_addr);
476 kernel_file_addr = kgdb_parse("&linker_kernel_file");

Completed in 66 milliseconds