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"
tjh.dev