its_vpe_db_proxy_map_locked 2783 drivers/irqchip/irq-gic-v3-its.c 	its_vpe_db_proxy_map_locked(vpe);
its_vpe_db_proxy_map_locked 2917 drivers/irqchip/irq-gic-v3-its.c 	its_vpe_db_proxy_map_locked(vpe);