/* SPDX-License-Identifier: GPL-2.0 */
        .section ".rodata","a"
        .balign 16

/*
 * When a bootloader hands off to the kernel in 32-bit mode an
 * IDT with a 2-byte limit and 4-byte base is needed. When a boot
 * loader hands off to a kernel 64-bit mode the base address
 * extends to 8-bytes. Reserve enough space for either scenario.
 */
SYM_DATA_START_LOCAL(tr_idt)
        .short  0
        .quad   0
SYM_DATA_END(tr_idt)