| // SPDX-License-Identifier: GPL-2.0+ |
| * Copyright (C) 2015, Bin Meng <bmeng.cn@gmail.com> |
| u32 io_apic_read(u32 reg) |
| writel(reg, IO_APIC_INDEX); |
| return readl(IO_APIC_DATA); |
| void io_apic_write(u32 reg, u32 val) |
| writel(reg, IO_APIC_INDEX); |
| writel(val, IO_APIC_DATA); |
| void io_apic_set_id(int ioapic_id) |
| int bsp_lapicid = lapicid(); |
| debug("IOAPIC: Initialising IOAPIC at %08x\n", IO_APIC_ADDR); |
| debug("IOAPIC: Bootstrap Processor Local APIC = %#02x\n", bsp_lapicid); |
| debug("IOAPIC: ID = 0x%02x\n", ioapic_id); |
| /* Set IOAPIC ID if it has been specified */ |
| io_apic_write(0x00, (io_apic_read(0x00) & 0xf0ffffff) | |