sdei_mark_interface_broken  378 drivers/firmware/arm_sdei.c 		sdei_mark_interface_broken();
sdei_mark_interface_broken  822 drivers/firmware/arm_sdei.c 		sdei_mark_interface_broken();
sdei_mark_interface_broken 1008 drivers/firmware/arm_sdei.c 		sdei_mark_interface_broken();
sdei_mark_interface_broken 1018 drivers/firmware/arm_sdei.c 		sdei_mark_interface_broken();
sdei_mark_interface_broken 1029 drivers/firmware/arm_sdei.c 		sdei_mark_interface_broken();
sdei_mark_interface_broken 1061 drivers/firmware/arm_sdei.c 	sdei_mark_interface_broken();