/* Stops the output of ACLK, MCLK, SMCLK on P11.0, P11.1, and P11.2.  */
void halBoardStopOutputSystemClock(void)
/* Stops the output of ACLK, MCLK, SMCLK on P11.0, P11.1, and P11.2.  */
void halBoardStopOutputSystemClock(void)
{
  CLK_PORT_OUT &= ~0x07;
  CLK_PORT_DIR |= 0x07;  CLK_PORT_SEL &= ~0x07;
}