Symbol: NT_RISCV_TAGGED_ADDR_CTRL