INT_SWI0
clear_csr_estat(1 << INT_SWI0);
swi = get_percpu_irq(INT_SWI0);
kvm_queue_irq(dest, INT_SWI0);
[INT_SWI0] = CPU_SIP0,
case INT_SWI0: