acrn-kernel/arch/xtensa/platforms/s6105/include/platform
..
gpio.h
hardware.h
serial.h