linux/arch/x86/kernel/resource.c

// SPDX-License-Identifier: GPL-2.0
#include <linux/ioport.h>
#include <linux/printk.h>
#include <asm/e820/api.h>
#include <asm/pci_x86.h>

static void resource_clip(struct resource *res, resource_size_t start,
			  resource_size_t end)
{ … }

static void remove_e820_regions(struct resource *avail)
{ … }

void arch_remove_reservations(struct resource *avail)
{ … }