machdep.c (0e417b55d56639a1e9bc4062dfe8020b621899c7) machdep.c (22e6a670868487bc17e36270eb34f34074693b6a)
1/*-
2 * Copyright (c) 2014 Andrew Turner
3 * All rights reserved.
4 *
5 * Redistribution and use in source and binary forms, with or without
6 * modification, are permitted provided that the following conditions
7 * are met:
8 * 1. Redistributions of source code must retain the above copyright

--- 1228 unchanged lines hidden (view full) ---

1237 cninit();
1238 set_ttbr0(abp->kern_ttbr0);
1239 cpu_tlb_flushID();
1240
1241 if (!valid)
1242 panic("Invalid bus configuration: %s",
1243 kern_getenv("kern.cfg.order"));
1244
1/*-
2 * Copyright (c) 2014 Andrew Turner
3 * All rights reserved.
4 *
5 * Redistribution and use in source and binary forms, with or without
6 * modification, are permitted provided that the following conditions
7 * are met:
8 * 1. Redistributions of source code must retain the above copyright

--- 1228 unchanged lines hidden (view full) ---

1237 cninit();
1238 set_ttbr0(abp->kern_ttbr0);
1239 cpu_tlb_flushID();
1240
1241 if (!valid)
1242 panic("Invalid bus configuration: %s",
1243 kern_getenv("kern.cfg.order"));
1244
1245 /*
1246 * Dump the boot metadata. We have to wait for cninit() since console
1247 * output is required. If it's grossly incorrect the kernel will never
1248 * make it this far.
1249 */
1250 if ((boothowto & RB_VERBOSE) &&
1251 getenv_is_true("debug.dump_modinfo_at_boot"))
1252 preload_dump();
1253
1245 init_proc0(abp->kern_stack);
1246 msgbufinit(msgbufp, msgbufsize);
1247 mutex_init();
1248 init_param2(physmem);
1249
1250 dbg_init();
1251 kdb_init();
1252 pan_enable();

--- 124 unchanged lines hidden --- 		1254 init_proc0(abp->kern_stack);
1255 msgbufinit(msgbufp, msgbufsize);
1256 mutex_init();
1257 init_param2(physmem);
1258
1259 dbg_init();
1260 kdb_init();
1261 pan_enable();

--- 124 unchanged lines hidden ---