kctl_boot_tmpinit
extern void *kctl_boot_tmpinit(void);
old = kctl_boot_tmpinit(); /* Set up temporary state */