Symbol: _ipi_mask_cpu
drivers/firmware/arm_sdei.c
364
on_each_cpu(&_ipi_mask_cpu, NULL, true);
drivers/firmware/arm_sdei.c
742
on_each_cpu(_ipi_mask_cpu, NULL, true);