Symbol: sdei_platform_reset
drivers/firmware/arm_sdei.c
802
err = sdei_platform_reset();
drivers/firmware/arm_sdei.c
829
sdei_platform_reset();
drivers/firmware/arm_sdei.c
984
err = sdei_platform_reset();