LHCALL_FLUSH_TLB  508 arch/x86/lguest/boot.c 		lazy_hcall(LHCALL_FLUSH_TLB, 1, 0, 0);
LHCALL_FLUSH_TLB  532 arch/x86/lguest/boot.c 	lazy_hcall(LHCALL_FLUSH_TLB, 0, 0, 0);
LHCALL_FLUSH_TLB  540 arch/x86/lguest/boot.c 	lazy_hcall(LHCALL_FLUSH_TLB, 1, 0, 0);