File content as of revision 8:e38cd9e16055:

#include <stdint.h>
#include "mbed.h"

#include "UART.h"
#include "APP.h"

static Serial pc(USBTX, USBRX);

void UARTInit(uint32_t baudrate)
{
    uint32_t Fdiv;
    uint32_t pclkdiv, pclk;
    
    unsigned int volatile* pconp = PCONP_REGISTER;
    unsigned int volatile* pclksel1 = PCLKSEL1_REGISTER;
    unsigned int volatile* pinsel0 = PINSEL0_REGISTER;
    unsigned int volatile* u3lcr = U3LCR_REGISTER;
    unsigned int volatile* u3dll = U3DLL_REGISTER;
    unsigned int volatile* u3dlm = U3DLM_REGISTER;

    *pconp |= 1 << 25; // Activate UART3 in PCONP register.
    pclkdiv = (*pclksel1 >> 18) & 0x03; // Bits 18~19 are for UART3

    switch (pclkdiv)
    {
        case 0x00:
        default:
            pclk = SYSTEM_CLOCK_FREQUENCY/4;
            break;
        case 0x01:
            pclk = SYSTEM_CLOCK_FREQUENCY;
            break;
        case 0x02:
            pclk = SYSTEM_CLOCK_FREQUENCY/2;
            break;
        case 0x03:
            pclk = SYSTEM_CLOCK_FREQUENCY/8;
            break;
    }

    *pinsel0 &= ~0x00000003;
    *pinsel0 |= 0x00000002;

    *u3lcr = 0x83;                 // 8 bits, no Parity, 1 Stop bit, DLAB = 1
    Fdiv = (pclk / 16) / baudrate; // baud rate
    *u3dlm = Fdiv / 256;
    *u3dll = Fdiv % 256;
    *u3lcr = 0x03;                 // DLAB = 0
}

void UARTSend(uint8_t byte)
{
    unsigned int volatile* u3thr = U3THR_REGISTER;
    *u3thr = byte;
    
    pc.printf("%c ", byte);
}

void UARTSend(uint8_t *buffer, uint32_t length)
{
    unsigned int volatile* u3thr = U3THR_REGISTER;

    while (length != 0)
    {
        // pc.printf("%c ", *buffer);
        *u3thr = *buffer;
        buffer++;
        length--;
    }
    
    // pc.printf("\r\n");
}