HomeSort by: relevance | last modified time | path
    Searched defs:init_prekern (Results 1 - 1 of 1) sorted by relevancy

  /src/sys/arch/amd64/stand/prekern/
prekern.c 252 init_prekern(paddr_t pa_start) function in typeref:typename:void
260 fatal("init_prekern: unable to locate the kernel");
263 fatal("init_prekern: invalid kernpa_start");
266 fatal("init_prekern: kernpa_start not aligned");
269 fatal("init_prekern: kernpa_end not aligned");
272 fatal("init_prekern: kernpa_end >= kernpa_start");
279 fatal("init_prekern: physical space inside kernel");
315 fatal("init_prekern: unreachable!");

Completed in 11 milliseconds