/* Writes a byte to the LPC channel pool. */
void LPCByteWrite(unsigned long ulBase, unsigned long ulOffset, unsigned char ucData)
/* Writes a byte to the LPC channel pool. */
void LPCByteWrite(unsigned long ulBase, unsigned long ulOffset, unsigned char ucData)
{
    ASSERT(ulBase == LPC0_BASE);
    ASSERT(ulOffset < (((HWREG(ulBase + LPC_O_STS) & LPC_STS_POOLSZ_M) >>
                        16) * 256));
    HWREGB(ulBase + LPC_O_POOL + ulOffset) = ucData;
}