Symbol: sdei_cpuhp_down
drivers/firmware/arm_sdei.c
1008
&sdei_cpuhp_up, &sdei_cpuhp_down);
drivers/firmware/arm_sdei.c
788
&sdei_cpuhp_up, &sdei_cpuhp_down);