LHCALL_SET_CLOCKEVENT  671 arch/x86/lguest/boot.c 	hcall(LHCALL_SET_CLOCKEVENT, delta, 0, 0);
LHCALL_SET_CLOCKEVENT  682 arch/x86/lguest/boot.c 		hcall(LHCALL_SET_CLOCKEVENT, 0, 0, 0);