Searched refs:guest_set_clockevent (Results 1 - 3 of 3) sorted by relevance

/linux-4.1.27/drivers/lguest/
H A Dhypercalls.c110 guest_set_clockevent(cpu, args->arg1); do_hcall()
H A Dlg.h166 void guest_set_clockevent(struct lg_cpu *cpu, unsigned long delta);
H A Dinterrupts_and_traps.c668 void guest_set_clockevent(struct lg_cpu *cpu, unsigned long delta) guest_set_clockevent() function

Completed in 79 milliseconds