INT_TI
#define CPU_TIMER BIT(INT_TI)
irq = get_percpu_irq(INT_TI);
return test_bit(INT_TI, &vcpu->arch.irq_pending);
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));