hello CVicente,
for example,
according to kernel messages,
[ 1.543081] 70006040.serial: ttyTHS1 at MMIO 0x70006040 (irq = 64, base_baud = 0) is a TEGRA_UART
and you may also refer to device tree definition,
uartb: serial@70006040 {
this means UART-B has register to ttyTHS1 for the usage,
UART-B is using uart2_tx_pg0/uart2_rx_pg1. which is pin-203, 205 on the 40-pin expansion header.