Searched refs:vtimer_irq (Results 1 – 2 of 2) sorted by relevance
24 static int vtimer_irq, ptimer_irq; variable71 timer_irq = vtimer_irq; in guest_validate_irq()153 gic_irq_enable(vtimer_irq); in guest_code()169 vtimer_irq = vcpu_get_vtimer_irq(vcpus[0]); in test_init_timer_irq()172 sync_global_to_guest(vm, vtimer_irq); in test_init_timer_irq()174 pr_debug("ptimer_irq: %d; vtimer_irq: %d\n", ptimer_irq, vtimer_irq); in test_init_timer_irq()
75 static int vtimer_irq, ptimer_irq; variable160 else if (intid == vtimer_irq) in guest_irq_handler()833 gic_irq_enable(vtimer_irq); in guest_code()927 vtimer_irq = vcpu_get_vtimer_irq(vcpu); in test_init_timer_irq()930 sync_global_to_guest(vm, vtimer_irq); in test_init_timer_irq()932 pr_debug("ptimer_irq: %d; vtimer_irq: %d\n", ptimer_irq, vtimer_irq); in test_init_timer_irq()