}
#ifdef AO_PAD_PORT_1
ao_gpio_clr_bits(AO_PAD_PORT_0, pins0);
ao_gpio_clr_bits(AO_PAD_PORT_1, pins1);
PRINTD("turn off pins 0x%x 0x%x\n", pins0, pins1);
#else
}
#ifdef AO_PAD_PORT_1
ao_gpio_clr_bits(AO_PAD_PORT_0, pins0);
ao_gpio_clr_bits(AO_PAD_PORT_1, pins1);
PRINTD("turn off pins 0x%x 0x%x\n", pins0, pins1);
#else