Symbol: ti_pinmux_device