MVSOCGPP_GPIOPIN
mask = MVSOCGPP_GPIOPIN(pin);
return (val & MVSOCGPP_GPIOPIN(pin)) != 0;
uint32_t old, new, mask = MVSOCGPP_GPIOPIN(pin);