Searched refs:guest_set_clockevent (Results 1 – 3 of 3) sorted by relevance
110 guest_set_clockevent(cpu, args->arg1); in do_hcall()
169 void guest_set_clockevent(struct lg_cpu *cpu, unsigned long delta);
615 void guest_set_clockevent(struct lg_cpu *cpu, unsigned long delta) in guest_set_clockevent() function