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