/* 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