sdei_mask_local_cpu
sdei_mask_local_cpu();
sdei_mask_local_cpu();
sdei_mask_local_cpu();
sdei_mask_local_cpu();
return sdei_mask_local_cpu();
rv = sdei_mask_local_cpu();
int sdei_mask_local_cpu(void);