src/mainboard/google/guybrush/variants/nipperkin/tpm_tis.c

   1 /* SPDX-License-Identifier: GPL-2.0-or-later */
   2
   3 #include <boardid.h>
   4 #include <gpio.h>
   5 #include <drivers/tpm/cr50.h>
   6
   7 gpio_t cr50_override_gpio(gpio_t irq)
   8 {
   9         if (board_id() == 1)
  10                 return GPIO_3;
  11         else
  12                 return irq;
  13 }