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