1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
|
/* SPDX-License-Identifier: GPL-2.0-only */
/* This file is part of the coreboot project. */
#include <stdint.h>
#include <soc/gpio.h>
#include <soc/pei_data.h>
#include <soc/pei_wrapper.h>
void mainboard_fill_pei_data(struct pei_data *pei_data)
{
pei_data->ec_present = 0;
/* P0: VP8 */
pei_data_usb2_port(pei_data, 0, 0x0064, 1, USB_OC_PIN_SKIP,
USB_PORT_MINI_PCIE);
/* P1: Port 3, USB3 */
pei_data_usb2_port(pei_data, 1, 0x0040, 1, 0,
USB_PORT_INTERNAL);
/* P2: Port 4, USB4 */
pei_data_usb2_port(pei_data, 2, 0x0040, 1, 1,
USB_PORT_INTERNAL);
/* P3: Mini Card */
pei_data_usb2_port(pei_data, 3, 0x0040, 1, USB_OC_PIN_SKIP,
USB_PORT_MINI_PCIE);
/* P4: Port 1, USB1 */
pei_data_usb2_port(pei_data, 4, 0x0040, 1, 2,
USB_PORT_INTERNAL);
/* P5: Port 2, USB2 */
pei_data_usb2_port(pei_data, 5, 0x0040, 1, 2,
USB_PORT_INTERNAL);
/* P6: Card Reader */
pei_data_usb2_port(pei_data, 6, 0x0040, 1, USB_OC_PIN_SKIP,
USB_PORT_INTERNAL);
/* P7: Pin Header */
pei_data_usb2_port(pei_data, 7, 0x0040, 1, 3,
USB_PORT_INTERNAL);
/* P1: USB1 */
pei_data_usb3_port(pei_data, 0, 1, 2, 0);
/* P2: USB2 */
pei_data_usb3_port(pei_data, 1, 1, 2, 0);
/* P3: USB3 */
pei_data_usb3_port(pei_data, 2, 1, 0, 0);
/* P4: USB4 */
pei_data_usb3_port(pei_data, 3, 1, 1, 0);
}
|
