Searched refs:vtimer_inject_irq_callout (Results 1 – 1 of 1) sorted by relevance
84 vtimer_inject_irq_callout(void *arg) in vtimer_inject_irq_callout() function112 vtimer_inject_irq_callout, hypctx, 0); in vtimer_set_timer()