18c2ecf20Sopenharmony_ci/* SPDX-License-Identifier: GPL-2.0-or-later */ 28c2ecf20Sopenharmony_ci/* 38c2ecf20Sopenharmony_ci * Copyright (C) IBM Corporation 2016. 48c2ecf20Sopenharmony_ci * 58c2ecf20Sopenharmony_ci * This file is only necessary because some of the pre-boot decompressors 68c2ecf20Sopenharmony_ci * expect stdint.h to be available. 78c2ecf20Sopenharmony_ci */ 88c2ecf20Sopenharmony_ci 98c2ecf20Sopenharmony_ci#include "types.h" 10