/* Sample the value of GPIO input pins and returns a bitmask.  */
uint32 gpio_input_get(void)
/* Sample the value of GPIO input pins and returns a bitmask.  */
uint32 gpio_input_get(void)
{
    return GPIO_REG_READ(GPIO_IN_ADDRESS);
}