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