CHV_GPIO_CTL0_GPIOCFG_MASK
new_gpiocfg = gpiocfg = reg1 & CHV_GPIO_CTL0_GPIOCFG_MASK;
reg = reg1 & ~CHV_GPIO_CTL0_GPIOCFG_MASK;
reg |= (new_gpiocfg & CHV_GPIO_CTL0_GPIOCFG_MASK) << 0;
gpiocfg &= CHV_GPIO_CTL0_GPIOCFG_MASK;
if ((reg & CHV_GPIO_CTL0_GPIOCFG_MASK) != gpiocfg) {
reg &= ~CHV_GPIO_CTL0_GPIOCFG_MASK;
if ((reg1 & CHV_GPIO_CTL0_GPIOCFG_MASK) != 0 &&
(reg1 & CHV_GPIO_CTL0_GPIOCFG_MASK) != 0x200) {
if ((reg1 & CHV_GPIO_CTL0_GPIOCFG_MASK) != 0 &&
(reg1 & CHV_GPIO_CTL0_GPIOCFG_MASK) != 0x100) {
KKASSERT((reg & CHV_GPIO_CTL0_GPIOCFG_MASK) == 0x0 ||
(reg & CHV_GPIO_CTL0_GPIOCFG_MASK) == 0x200);
KKASSERT((reg & CHV_GPIO_CTL0_GPIOCFG_MASK) == 0 ||
(reg & CHV_GPIO_CTL0_GPIOCFG_MASK) == 0x100);