machdep.c (50cedfede3d21824ec6023324b3ad41a435e1815) machdep.c (857ab36fc270abe5a6fcd1208b62dff9174dcd8b)
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

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

1230 exclude_efi_map_entries(efihdr);
1231 physmem_init_kernel_globals();
1232
1233 devmap_bootstrap(0, NULL);
1234
1235 valid = bus_probe();
1236
1237 cninit();
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

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

1230 exclude_efi_map_entries(efihdr);
1231 physmem_init_kernel_globals();
1232
1233 devmap_bootstrap(0, NULL);
1234
1235 valid = bus_probe();
1236
1237 cninit();
1238 set_ttbr0(abp->kern_ttbr0);
1239 cpu_tlb_flushID();
1238
1239 if (!valid)
1240 panic("Invalid bus configuration: %s",
1241 kern_getenv("kern.cfg.order"));
1242
1243 init_proc0(abp->kern_stack);
1244 msgbufinit(msgbufp, msgbufsize);
1245 mutex_init();

--- 128 unchanged lines hidden --- 		1240
1241 if (!valid)
1242 panic("Invalid bus configuration: %s",
1243 kern_getenv("kern.cfg.order"));
1244
1245 init_proc0(abp->kern_stack);
1246 msgbufinit(msgbufp, msgbufsize);
1247 mutex_init();

--- 128 unchanged lines hidden ---