timer_irq
kvm_vgic_reset_mapped_irq(vcpu, timer_irq(map.direct_vtimer));
kvm_vgic_reset_mapped_irq(vcpu, timer_irq(map.direct_ptimer));
irq = timer_irq(ctx);
if (timer_irq(ctx) == vintid)
timer_irq(map.direct_vtimer),
timer_irq(map.direct_ptimer),
irq = timer_irq(timer);
trace_kvm_timer_update_irq(vcpu->vcpu_id, timer_irq(timer_ctx),
timer_irq(timer_ctx),
phys_active = kvm_vgic_map_is_active(vcpu, timer_irq(ctx));
hw = kvm_vgic_get_map(vcpu, timer_irq(map->direct_vtimer));
kvm_vgic_unmap_phys_irq(vcpu, timer_irq(map->emul_vtimer));
kvm_vgic_unmap_phys_irq(vcpu, timer_irq(map->emul_ptimer));
timer_irq(map->direct_vtimer),
timer_irq(map->direct_ptimer),
int timer_irq;
timer_irq = Q40_IRQ_FRAME;
if (request_irq(timer_irq, q40_timer_int, 0, "timer", NULL))
int timer_irq, irq;
timer_irq = PCI_COUNTER_IRQ_SYS(v);
writel (PCI_COUNTER_IRQ_SET(timer_irq, 0),
irq = pcic_build_device_irq(NULL, timer_irq);
prom_printf("time_init: unable to attach IRQ%d\n", timer_irq);
if (cs5535_mfgpt_setup_irq(timer, MFGPT_CMP2, &timer_irq)) {
timer_irq);
ret = request_irq(timer_irq, mfgpt_tick, flags, DRV_NAME, timer);
timer_irq);
cs5535_mfgpt_release_irq(cs5535_event_clock, MFGPT_CMP2, &timer_irq);
static int timer_irq;
module_param_hw_named(irq, timer_irq, int, irq, 0644);
int timer_irq,
tmr->clkevt.irq = timer_irq;
ret = request_irq(timer_irq, ixp4xx_timer_interrupt,
int timer_irq, ret;
timer_irq = irq_of_parse_and_map(np, 0);
if (!timer_irq) {
ret = request_irq(timer_irq, vt8500_timer_interrupt,
void timer_irq(struct s_smc *smc);
timer_irq(smc) ;
int timer_irq, alarm_irq;
timer_irq = pcap_to_irq(pcap_rtc->pcap, PCAP_IRQ_1HZ);
err = devm_request_irq(&pdev->dev, timer_irq, pcap_rtc_irq, 0,
unsigned int timer_irq = 0;
timer_irq = vtimer_irq;
timer_irq = ptimer_irq;
GUEST_ASSERT_EQ(intid, timer_irq);
static int timer_irq = IRQ_S_TIMER;
GUEST_ASSERT_EQ(intid, timer_irq);