| 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 |
| 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 |