coreboot
coreboot is an Open Source project aimed at replacing the proprietary BIOS found in most computers.
usb.h
Go to the documentation of this file.
1 /* SPDX-License-Identifier: GPL-2.0-only */
2 
3 #ifndef DCP847SKE_USB_H
4 #define DPC847SKE_USB_H
5 
6 USB_CONFIG(1, 1, 0), /* back, towards HDMI plugs */
7 USB_CONFIG(1, 1, 0), /* back, towards power plug */
8 USB_CONFIG(1, 1, 1), /* half-width miniPCIe */
9 USB_CONFIG(1, 1, 1), /* full-width miniPCIe */
10 USB_CONFIG(1, 1, 2), /* front-panel header */
11 USB_CONFIG(1, 1, 2), /* front-panel header */
12 USB_CONFIG(1, 1, 3), /* front connector */
13 USB_CONFIG(0, 1, 3), /* not available */
14 USB_CONFIG(0, 1, 4), /* not available */
15 USB_CONFIG(0, 1, 4), /* not available */
16 USB_CONFIG(0, 1, 5), /* not available */
17 USB_CONFIG(0, 1, 5), /* not available */
18 USB_CONFIG(0, 1, 6), /* not available */
19 USB_CONFIG(0, 1, 6), /* not available */
20 
21 #endif
USB_CONFIG
USB_CONFIG(1, 1, 0)