Home | History | Annotate | Download | only in prekern

Lines Matching defs:fatal

55 void fatal(char *msg)
58 	print_ext(RED_ON_BLACK, "********** FATAL ***********\n");
242 		fatal("kernel returned: wrong API version");
244 		fatal("kernel returned: unknown value");
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!");