- directories, or a timer interrupt might switch back to
- the process page directory. The asm statement prevents
- GCC from reordering the assignment and the function
- calls. */
+ directories, so that a timer interrupt can't switch back
+ to the process page directory. We must activate the
+ base page directory before destroying the process's page
+ directory, or our active page directory will be one
+ that's been freed (and cleared). */