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