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