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

#include <baseboard/gpio.h>

/* EC sync irq is AGPIO 10 */
#define EC_SYNC_IRQ	10