1 /* SPDX-License-Identifier: GPL-2.0-only */
3 #include <console/console.h>
4 #include <device/device.h>
6 #include <southbridge/intel/common/gpio.h>
7 #include <ec/lenovo/h8/h8.h>
8 #include <ec/acpi/ec.h>
13 printk(BIOS_DEBUG
, "dock is connected\n");
16 printk(BIOS_DEBUG
, "dock is not connected\n");
20 void dock_connect(void)
28 void dock_disconnect(void)
36 int dock_present(void)
38 const int gpio_num_array
[] = {3, 4, 5, -1};
40 return get_gpios(gpio_num_array
) != 7;