Symbol: vpe_to_cpuid_lock
drivers/irqchip/irq-gic-v3-its.c
386
cpu = vpe_to_cpuid_lock(vpe, flags);
drivers/irqchip/irq-gic-v3-its.c
3956
from = vpe_to_cpuid_lock(vpe, &flags);
drivers/irqchip/irq-gic-v3-its.c
4295
cpu = vpe_to_cpuid_lock(vpe, &flags);
drivers/irqchip/irq-gic-v3-its.c
4430
cpu = vpe_to_cpuid_lock(vpe, &flags);