LHCALL_TS         376 arch/x86/lguest/boot.c 	lazy_hcall(LHCALL_TS, val & X86_CR0_TS, 0, 0);
LHCALL_TS         390 arch/x86/lguest/boot.c 	lazy_hcall(LHCALL_TS, 0, 0, 0);