its_vpe_db_proxy_unmap_locked 2741 drivers/irqchip/irq-gic-v3-its.c 		its_vpe_db_proxy_unmap_locked(vpe);
its_vpe_db_proxy_unmap_locked 2754 drivers/irqchip/irq-gic-v3-its.c 		its_vpe_db_proxy_unmap_locked(vpe_proxy.vpes[vpe_proxy.next_victim]);