sdei_platform_reset  838 drivers/firmware/arm_sdei.c 	err = sdei_platform_reset();
sdei_platform_reset  865 drivers/firmware/arm_sdei.c 	sdei_platform_reset();
sdei_platform_reset 1022 drivers/firmware/arm_sdei.c 	err = sdei_platform_reset();