coreboot-kgpe-d16/src/mainboard/system76/gaze15/include/variant
..
gpio.h