Symbol: gpiosim_pin_read