void fr30bf_h_sbit_set (SIM_CPU *current_cpu, BI newval) { SET_H_SBIT (newval); }
void crisv32f_h_sbit_set (SIM_CPU *current_cpu, BI newval) { SET_H_SBIT (newval); }