void up_ledoff(int led)
{
switch (led)
{
default:
case 0 : /* STARTED, HEAPALLOCATE, IRQSENABLED */
case 1 : /* STACKCREATED */
hcs12_gpiowrite(NE64BADGE_LED1, true);
case 2 : /* INIRQ, SIGNAL, ASSERTION, PANIC */
hcs12_gpiowrite(NE64BADGE_LED2, true);
break;
}
}
int hcs12_configgpio(uint16_t cfgset)
{
/* Get the port index and pin number */
uint8_t portndx = HCS12_PORTNDX(cfgset);
uint8_t pin = HCS12_PIN(cfgset);
/* Configure the pin */
if (HCS12_PIMPORT(cfgset))
{
pim_configgpio(cfgset, portndx, pin);
}
else
{
mebi_configgpio(cfgset, portndx, pin);
}
/* If the pin is an output, then set the initial value of the output */
if (HCS12_OUTPUT(cfgset))
{
hcs12_gpiowrite(cfgset, (cfgset & GPIO_OUTPUT_VALUE) == GPIO_OUTPUT_HIGH);
}
return OK;
}
