1 /* SPDX-License-Identifier: GPL-2.0 */
6 * When a bootloader hands off to the kernel in 32-bit mode an
7 * IDT with a 2-byte limit and 4-byte base is needed. When a boot
8 * loader hands off to a kernel 64-bit mode the base address
9 * extends to 8-bytes. Reserve enough space for either scenario.
11 SYM_DATA_START_LOCAL(tr_idt)