2 * Copyright (C) 2002 - 2007 Jeff Dike (jdike@{addtoit,linux.intel}.com)
3 * Licensed under the GPL
6 #include <linux/init.h>
7 #include <linux/sched.h>
13 extern void start_kernel(void);
15 static int __init start_kernel_proc(void *unused)
22 cpu_tasks[0].pid = pid;
23 cpu_tasks[0].task = current;
25 init_cpu_online(get_cpu_mask(0));
31 extern int userspace_pid[];
33 extern char cpu0_irqstack[];
35 int __init start_uml(void)
37 stack_protections((unsigned long) &cpu0_irqstack);
38 set_sigstack(cpu0_irqstack, THREAD_SIZE);
40 init_new_thread_signals();
42 init_task.thread.request.u.thread.proc = start_kernel_proc;
43 init_task.thread.request.u.thread.arg = NULL;
44 return start_idle_thread(task_stack_page(&init_task),
45 &init_task.thread.switch_buf);
48 unsigned long current_stub_stack(void)
50 if (current->mm == NULL)
53 return current->mm->context.id.stack;