How to use UART4 which pinmux with WIFI/BT?

Did you see /dev/ttyTHS3? If yes, try to connect with the other UART device to see if it work?