Symbol: sdei_mark_interface_broken
drivers/firmware/arm_sdei.c
1025
sdei_mark_interface_broken();
drivers/firmware/arm_sdei.c
376
sdei_mark_interface_broken();
drivers/firmware/arm_sdei.c
783
sdei_mark_interface_broken();
drivers/firmware/arm_sdei.c
970
sdei_mark_interface_broken();
drivers/firmware/arm_sdei.c
980
sdei_mark_interface_broken();
drivers/firmware/arm_sdei.c
991
sdei_mark_interface_broken();