/* SPDX-License-Identifier: GPL-2.0-only */ | |
#ifndef __COREBOOT_SRC_MAINBOARD_PINE64_ROCKPRO64_BOARD_H | |
#define __COREBOOT_SRC_MAINBOARD_PINE64_ROCKPRO64_BOARD_H | |
#include <gpio.h> | |
#define GPIO_RESET GPIO(1, A, 6) | |
#endif /* ! __COREBOOT_SRC_MAINBOARD_PINE64_ROCKPRO64_BOARD_H */ |