41 static inline int external_pid(void)  in external_pid()  argument
94 void interrupt_end(void)  in interrupt_end()  argument
106 void exit_thread(void)  in exit_thread()  argument
110 int get_current_pid(void)  in get_current_pid()  argument
119 void new_thread_handler(void)  in new_thread_handler()  argument
139 void fork_handler(void)  in fork_handler()  argument
198 void initial_thread_cb(void (*proc)(void *), void *arg)  in initial_thread_cb()  argument
207 void arch_cpu_idle(void)  in arch_cpu_idle()  argument
214 int __cant_sleep(void) {  in __cant_sleep()  argument
229 void do_uml_exitcalls(void)  in do_uml_exitcalls()  argument
264 int cpu(void)  in cpu()  argument
279 int get_using_sysemu(void)  in get_using_sysemu()  argument
318 int __init make_proc_sysemu(void)  in make_proc_sysemu()  argument