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