Searched refs:vtimer_schedule_irq (Results 1 – 1 of 1) sorted by relevance
63 static void vtimer_schedule_irq(struct hypctx *hypctx, bool phys);252 vtimer_schedule_irq(hypctx, false); in vtimer_sync_hwstate()277 vtimer_schedule_irq(struct hypctx *hypctx, bool phys) in vtimer_schedule_irq() function380 vtimer_schedule_irq(hypctx, true); in vtimer_phys_ctl_write()430 vtimer_schedule_irq(hypctx, true); in vtimer_phys_cval_write()482 vtimer_schedule_irq(hypctx, true); in vtimer_phys_tval_write()