1*4882a593Smuzhiyun /* SPDX-License-Identifier: GPL-2.0-or-later */ 2*4882a593Smuzhiyun /* 3*4882a593Smuzhiyun * Copyright (C) IBM Corporation 2016. 4*4882a593Smuzhiyun * 5*4882a593Smuzhiyun * This file is only necessary because some of the pre-boot decompressors 6*4882a593Smuzhiyun * expect stdint.h to be available. 7*4882a593Smuzhiyun */ 8*4882a593Smuzhiyun 9*4882a593Smuzhiyun #include "types.h" 10