}
/* Sets up the CPU for running user code in the current
- thread. */
+ thread.
+ This function is called on every context switch. */
void
process_activate (void)
{
/* Set thread's kernel stack for use in processing
interrupts. */
- tss_set_esp0 ((uint8_t *) t + PGSIZE);
+ tss_update ();
}
\f
/* We load ELF binaries. The following definitions are taken