GPIO_PIN_SHIFT
const uint32_t pin_mask = 1 << GPIO_PIN_SHIFT(i + 1);
return (reg_ir >> GPIO_PIN_SHIFT(p)) & 0x01;
const uint32_t pin_mask = 1 << GPIO_PIN_SHIFT(p);
const uint32_t pin_mask = 1 << GPIO_PIN_SHIFT(p);