*
* We don't use the i386 task switch mechanism. We need a TSS
* only to hold the kernel stack pointer for the current thread.
*
* We don't use the i386 task switch mechanism. We need a TSS
* only to hold the kernel stack pointer for the current thread.