Searched refs:LOAD_KERN (Results 1 – 3 of 3) sorted by relevance
119 if (type == LOAD_KERN) in i386_loadaddr()
365 #define LOAD_KERN 3 /* data points to the kernel file name. */ macro
265 fp->f_addr = archsw.arch_loadaddr(LOAD_KERN, filename, in multiboot2_loadfile()