Symbol: its_vpe_db_proxy_unmap_locked
drivers/irqchip/irq-gic-v3-its.c
3837
its_vpe_db_proxy_unmap_locked(vpe);
drivers/irqchip/irq-gic-v3-its.c
3854
its_vpe_db_proxy_unmap_locked(vpe_proxy.vpes[vpe_proxy.next_victim]);