Lines Matching refs:kernel
108 * Try to find the path for a kld by looking in the kernel's directory and
145 * Read a kernel pointer given a KVA in 'address'.
159 * Try to find this kld in the kernel linker's list of linker files.
278 error("No kernel symbol file");
295 error("Unable to find kld in kernel");
341 CORE_ADDR kld, kernel;
354 * each non-kernel file.
356 kernel = read_pointer(kernel_file_addr);
359 /* Skip the main kernel file. */
360 if (kld == kernel)
513 Load the symbols from the kernel loadable module FILE.");