update_total_sw_decomp_calls
update_total_sw_decomp_calls();
void update_total_sw_decomp_calls(void);