sdei_unmask_local_cpu
int sdei_unmask_local_cpu(void)
static inline int sdei_unmask_local_cpu(void) { return 0; }