As well as hardware definitions, the file <cyg/hal/hal_ixp425.h> provides a set of macros to assist GPIO manipulation:
HAL_GPIO_OUTPUT_ENABLE(line) HAL_GPIO_OUTPUT_DISABLE(line) HAL_GPIO_OUTPUT_SET(line) HAL_GPIO_OUTPUT_CLEAR(line) |
As described earlier, HAL support already exists for handling GPIO lines configured as interrupts.