Symbol: its_vpe_db_proxy_map_locked
drivers/irqchip/irq-gic-v3-its.c
3886
its_vpe_db_proxy_map_locked(vpe);
drivers/irqchip/irq-gic-v3-its.c
4113
its_vpe_db_proxy_map_locked(vpe);