// Copyright 2017 The Fuchsia Authors. All rights reserved. | |
// Use of this source code is governed by a BSD-style license that can be | |
// found in the LICENSE file. | |
#pragma once | |
// Interesting GPIOs | |
#define GPIO_HDMI_MUX 20 | |
#define GPIO_PWRON_DET 34 | |
#define GPIO_HDMI_PD 41 | |
#define GPIO_HUB_VDD33_EN 46 | |
#define GPIO_USER_LED1 150 | |
#define GPIO_USER_LED2 151 | |
#define GPIO_HDMI_INT 180 | |
#define GPIO_USER_LED3 189 | |
#define GPIO_USER_LED4 190 | |
#define GPIO_VBUS_TYPEC 202 | |
#define GPIO_USBSW_SW_SEL 206 |