pinmux: changed documentation names to match the driver.

The names in the driver can't have square brackets for IO indices.
lowRISC · Nov 14, 2024 · 386b24c · 386b24c
1 parent 28232be
commit 386b24c
Show file tree

Hide file tree

Showing 6 changed files with 198 additions and 191 deletions.
diff --git a/doc/ip/pinmux/README.md b/doc/ip/pinmux/README.md
diff --git a/sw/cheri/checks/pinmux_check.cc b/sw/cheri/checks/pinmux_check.cc
@@ -18,9 +18,6 @@
 
 using namespace CHERI;
 
-#define PINMUX_SER0_TX_DISABLED (0)
-#define PINMUX_SER0_TX_UART0_TX (1)
-
 /**
  * Blocks until the UART transmit FIFO is empty.
  */
@@ -56,7 +53,7 @@ void block_until_uart_tx_done(Capability<volatile OpenTitanUart> uart) {
   block_until_uart_tx_done(uart);
 
   // Pinmux Serial 0 TX (used by console UART) to UART0_TX.
-  ser0_tx.select(PINMUX_SER0_TX_UART0_TX);
+  ser0_tx.default_selection();
   LOG("You should see this message, as UART0 has just been re-enabled.\r\n");
 
   LOG("Check completed.\r\n");