Symbol: bxt_calc_voltage_level