How do I update the baud rate from 115200 to 9600?

void main()
{
  while(1)
  {
    UART1_Init(115200);
    UART1_Write_Text("test");
    Delay_ms(1000);

    UART1_Init(9600);
    UART1_Write_Text("test");
    Delay_ms(1000);
  }
} :(

main?? UART1_Init ?? Delay_ms??

On the arduino you would do something like

void loop()
{
    Serial.begin (115200);
    Serial.print ("test");
    delay (1000);

    Serial.begin (9600);
    Serial.print ("test");
    delay (1000);
}

Would you need a Serial.end in between there?

I'm sure you would want a flush before you change the baud or it would all end up going out at 9600.
EDIT: I guess the delay solves that.

Try it and see - the delays will drain the outgoing queue, incoming is another matter. Changing
baud rate dynamically involves having to think carefully about such things.