__reload_thread
__reload_thread(¤t_thread_info()->pcb);
__reload_thread(pcb);
return __reload_thread(pcb);