Searched refs:host_timer_irq (Results 1 – 2 of 2) sorted by relevance
651 r = irq_set_irqchip_state(ctx->host_timer_irq, IRQCHIP_STATE_ACTIVE, active); in set_timer_irq_phys_active()737 map->direct_vtimer->host_timer_irq, in kvm_timer_vcpu_load_nested_switch()742 map->direct_ptimer->host_timer_irq, in kvm_timer_vcpu_load_nested_switch()1002 ctxt->host_timer_irq = host_ptimer_irq; in timer_context_init()1006 ctxt->host_timer_irq = host_vtimer_irq; in timer_context_init()1531 map.direct_vtimer->host_timer_irq, in kvm_timer_enable()1539 map.direct_ptimer->host_timer_irq, in kvm_timer_enable()
75 u32 host_timer_irq; member