#include "irq_user.h"
#include "tlb.h"
#include "os.h"
-#include "choose-mode.h"
#include "mode_kern.h"
void flush_thread(void)
{
arch_flush_thread(¤t->thread.arch);
- CHOOSE_MODE(flush_thread_tt(), flush_thread_skas());
+ flush_thread_skas();
}
void start_thread(struct pt_regs *regs, unsigned long eip, unsigned long esp)
{
- CHOOSE_MODE_PROC(start_thread_tt, start_thread_skas, regs, eip, esp);
+ start_thread_skas(regs, eip, esp);
}
#ifdef CONFIG_TTY_LOG
SUBARCH_EXECVE1(¤t->thread.regs.regs);
#endif
task_unlock(current);
- set_cmdline(current_cmd());
}
return(error);
}