__cpm1_gpio32_set
__cpm1_gpio32_set(cpm1_gc, pin_mask, value);
__cpm1_gpio32_set(cpm1_gc, pin_mask, val);