) {   unsigned int port = pic00mx_portno(pinset);   unsigned int pin  = pic00mx_pinno(pinset);   uintptr_t    base;    /* Verify that the port number is within range */    if (port < CHIP_NPORTS)     {       /* Get the base address of the ports */        base = g_gpiobase[port];        /* 