cpu_mask_all_signals
void cpu_mask_all_signals (void);
cpu_mask_all_signals();
cpu_mask_all_signals(); /* XXX remove me? should already be masked */