_ipi_mask_cpu     366 drivers/firmware/arm_sdei.c 	on_each_cpu(&_ipi_mask_cpu, NULL, true);
_ipi_mask_cpu     781 drivers/firmware/arm_sdei.c 	on_each_cpu(_ipi_mask_cpu, NULL, true);