free_irq_routing_table  125 virt/kvm/irqchip.c 	free_irq_routing_table(rt);
free_irq_routing_table  237 virt/kvm/irqchip.c 	free_irq_routing_table(new);