lazy_hcall        282 arch/x86/lguest/boot.c 	lazy_hcall(LHCALL_LOAD_TLS, __pa(&t->tls_array), cpu, 0);
lazy_hcall        376 arch/x86/lguest/boot.c 	lazy_hcall(LHCALL_TS, val & X86_CR0_TS, 0, 0);
lazy_hcall        390 arch/x86/lguest/boot.c 	lazy_hcall(LHCALL_TS, 0, 0, 0);
lazy_hcall        406 arch/x86/lguest/boot.c 	lazy_hcall(LHCALL_NEW_PGTABLE, cr3, 0, 0);
lazy_hcall        482 arch/x86/lguest/boot.c 	lazy_hcall(LHCALL_SET_PTE, __pa(mm->pgd), addr, pteval.pte_low);
lazy_hcall        491 arch/x86/lguest/boot.c 	lazy_hcall(LHCALL_SET_PMD, __pa(pmdp)&PAGE_MASK,
lazy_hcall        508 arch/x86/lguest/boot.c 		lazy_hcall(LHCALL_FLUSH_TLB, 1, 0, 0);
lazy_hcall        524 arch/x86/lguest/boot.c 	lazy_hcall(LHCALL_SET_PTE, current_cr3, addr, 0);
lazy_hcall        532 arch/x86/lguest/boot.c 	lazy_hcall(LHCALL_FLUSH_TLB, 0, 0, 0);
lazy_hcall        540 arch/x86/lguest/boot.c 	lazy_hcall(LHCALL_FLUSH_TLB, 1, 0, 0);
lazy_hcall        757 arch/x86/lguest/boot.c 	lazy_hcall(LHCALL_SET_STACK, __KERNEL_DS|0x1, thread->sp0,