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);