Searched refs:kctl_boot_tmpinit (Results 1 – 4 of 4) sorted by relevance
99 extern void *kctl_boot_tmpinit(void);
461 old = kctl_boot_tmpinit(); /* Set up temporary state */ in kctl_boot_activate()
195 kctl_boot_tmpinit(void) in kctl_boot_tmpinit() function
278 kctl_boot_tmpinit(void) in kctl_boot_tmpinit() function