| Patrick Georgi | ac95903 | 2020-05-05 22:49:26 +0200 | [diff] [blame] | 1 | /* SPDX-License-Identifier: GPL-2.0-only */ |
| T Michael Turney | 7783c60 | 2019-10-09 07:04:54 -0700 | [diff] [blame] | 2 | |
| 3 | #include <cbmem.h> | ||||
| 4 | |||||
| Arthur Heymans | 340e4b8 | 2019-10-23 17:25:58 +0200 | [diff] [blame] | 5 | void *cbmem_top_chipset(void) |
| T Michael Turney | 7783c60 | 2019-10-09 07:04:54 -0700 | [diff] [blame] | 6 | { |
| 7 | return (void *)((uintptr_t)4 * GiB); | ||||
| 8 | } | ||||