![]() |
coreboot
coreboot is an Open Source project aimed at replacing the proprietary BIOS found in most computers.
|
#include <console/console.h>
#include <device/device.h>
#include <drivers/intel/usb4/retimer/retimer.h>
#include <intelblocks/tcss.h>
Go to the source code of this file.
Functions | |
int | retimer_get_index_for_typec (uint8_t typec_port) |
int retimer_get_index_for_typec | ( | uint8_t | typec_port | ) |
Definition at line 8 of file retimer.c.
References BIOS_INFO, DEV_PTR, is_dev_enabled(), MAX_TYPE_C_PORTS, and printk.