Lines Matching defs:kernel

654     uint8_t header[8192], *setup, *kernel;  in x86_load_linux()  local