INT_TI
irq = get_percpu_irq(INT_TI);
return test_bit(INT_TI, &vcpu->arch.irq_pending);
[INT_TI] = CPU_TIMER,
case INT_TI:
case INT_TI:
kvm_queue_irq(vcpu, INT_TI);
kvm_queue_irq(vcpu, INT_TI);
kvm_read_hw_gcsr(LOONGARCH_CSR_ESTAT) & (1 << INT_TI);
intid = !!(estat & BIT(INT_TI));
intid = !!(regs->estat & BIT(INT_TI));