arch_update_thread_single_step
void arch_update_thread_single_step();
arch_update_thread_single_step();