sdei_mask_local_cpu  304 drivers/firmware/arm_sdei.c int sdei_mask_local_cpu(void)
sdei_mask_local_cpu   56 include/linux/arm_sdei.h static inline int sdei_mask_local_cpu(void) { return 0; }