Lines Matching defs:kernel
222 /** kernel symbol table */
225 /** Object pointer for the kernel code */
226 ObjectFile *kernel;
231 /** Beginning of kernel code */
234 /** End of kernel code */
237 /** Entry point in the kernel to start at */
522 * Add a function-based event to a kernel symbol.
526 * they automatically use the kernel symbol table. All arguments
548 panic("Failed to find kernel symbol '%s'", lbl);
574 * Returns the address the kernel starts at.
575 * @return address the kernel starts at
580 * Returns the address the kernel ends at.
581 * @return address the kernel ends at
586 * Returns the address the entry point to the kernel code.
587 * @return entry point of the kernel code