Searched refs:mdp_cookie (Results 1 – 3 of 3) sorted by relevance
| /src/sys/powerpc/aim/ |
| H A D | aim_machdep.c | 167 void *mdp, uint32_t mdp_cookie);
172 uint32_t mdp_cookie) in aim_early_init() argument
198 mdp_cookie, DMAP_BASE_ADDRESS, mfmsr()); in aim_early_init()
200 __restartkernel(fdt, 0, ofentry, mdp, mdp_cookie, in aim_early_init()
|
| /src/sys/powerpc/powerpc/ |
| H A D | machdep.c | 252 void *mdp, uint32_t mdp_cookie);
262 uint32_t mdp_cookie) in powerpc_init() argument
283 if (mdp_cookie != 0xfb5d104d) in powerpc_init()
298 aim_early_init(fdt, toc, ofentry, mdp, mdp_cookie); in powerpc_init()
|
| /src/sys/powerpc/booke/ |
| H A D | booke_machdep.c | 201 uint32_t mdp_cookie);
|