1/* SPDX-License-Identifier: GPL-2.0 */
2	.section ".rodata","a"
3	.balign	16
4
5/*
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.
10 */
11SYM_DATA_START_LOCAL(tr_idt)
12	.short  0
13	.quad   0
14SYM_DATA_END(tr_idt)
15