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