payloads/edk2: Disable the CPU Timer Lib unless supported
[coreboot.git] / src / mainboard / facebook / monolith / mainboard.c
blob1ab13e10ce788f9e206815975976c05de2164860
1 /* SPDX-License-Identifier: GPL-2.0-only */
3 #include <device/device.h>
5 /*
6 * Declare the resources we are using
7 */
8 static void mainboard_reserve_resources(struct device *dev)
10 unsigned int idx = 0;
11 struct resource *res;
14 * CPLD: Reserve the IRQ here all others are within the default LPC
15 * range 0 to 1000h
17 res = new_resource(dev, idx++);
18 res->base = 0x7;
19 res->size = 0x1;
20 res->flags = IORESOURCE_IRQ | IORESOURCE_ASSIGNED | IORESOURCE_FIXED;
24 * mainboard_enable is executed as first thing after
25 * enumerate_buses().
27 static void mainboard_enable(struct device *dev)
29 mainboard_reserve_resources(dev);
32 struct chip_operations mainboard_ops = {
33 .enable_dev = mainboard_enable,