void
gpio_mode(addr_t base, int pin, int mode)
{
    int shift = kGPIOToShift[pin];
    volatile addr_t *gpio = base + pin;

    if (mode == GPIO_INPUT)
        *(gpio) = (*(gpio) & ~(7 << shift)) ;
    else if (mode == GPIO_OUTPUT)
        *(gpio) = (*(gpio) & ~(7 << shift)) | (1 << shift) ;
    else
        *(gpio) = (*(gpio) & ~(7 << shift)) | (alt << shift);
}