/* SPDX-License-Identifier: GPL-2.0-only */

#ifndef SB_INTEL_LYNXPOINT_GPIO_BANKS_H
#define SB_INTEL_LYNXPOINT_GPIO_BANKS_H

#include <stdint.h>

typedef uint32_t gpio_t;

#endif /* SB_INTEL_LYNXPOINT_GPIO_BANKS_H */