Searched refs:kernel_file_addr (Results 1 – 1 of 1) sorted by relevance
60 static CORE_ADDR kernel_file_addr; variable345 if (linker_files_addr == 0 || kernel_file_addr == 0 || in kld_current_sos()356 kernel = read_pointer(kernel_file_addr); in kld_current_sos()476 kernel_file_addr = kgdb_parse("&linker_kernel_file"); in kld_new_objfile()