coreboot
coreboot is an Open Source project aimed at replacing the proprietary BIOS found in most computers.
cbmem.c
Go to the documentation of this file.
1 /* SPDX-License-Identifier: GPL-2.0-only */
2 
3 #include <cbmem.h>
4 
5 void *cbmem_top_chipset(void)
6 {
7  return (void *)((uintptr_t)3 * GiB);
8 }
GiB
#define GiB
Definition: helpers.h:77
cbmem_top_chipset
void * cbmem_top_chipset(void)
Definition: cbmem.c:6
uintptr_t
unsigned long uintptr_t
Definition: stdint.h:21