//Typical code for loading the thread
//
void load_thread(void)
{
  set_time_stamp(current_pcb,1);//Setting time stamp
  __asm__("movl %0,%%eax" : : "r" (current_pcb));
  __asm__("movl 4(%eax),%ebx
           movl 8(%eax),%ecx
           movl 12(%eax),%edx                                                 
           movl 16(%eax),%esi
           movl 20(%eax),%edi
           movl 24(%eax),%ebp
	   movl 28(%eax),%esp
	   pushl 32(%eax)
	   pushl 36(%eax)
	   popfl
	   movl (%eax), %eax");
  __asm__("ret");
  //jumping to the stack
}