sdei_cpuhp_down   827 drivers/firmware/arm_sdei.c 				&sdei_cpuhp_up, &sdei_cpuhp_down);
sdei_cpuhp_down  1046 drivers/firmware/arm_sdei.c 				&sdei_cpuhp_up, &sdei_cpuhp_down);