/* We tell the Host the segment we want to use (__KERNEL_DS is the kernel data segment), the privilege level (we're privilege level 1, the Host is 0 and will not tolerate us trying to use that), the stack pointer, and the number of pages in the stack.  */
static void lguest_load_sp0(struct tss_struct *tss, struct thread_struct *thread)
/* We tell the Host the segment we want to use (__KERNEL_DS is the kernel data segment), the privilege level (we're privilege level 1, the Host is 0 and will not tolerate us trying to use that), the stack pointer, and the number of pages in the stack.  */
static void lguest_load_sp0(struct tss_struct *tss, struct thread_struct *thread)
{
	lazy_hcall3(LHCALL_SET_STACK, __KERNEL_DS | 0x1, thread->sp0,
		   THREAD_SIZE / PAGE_SIZE);
}