blob: 7d23883c8d4d70e374c409a9d799167d5d7b0115 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
/* SPDX-License-Identifier: GPL-2.0-only */
/* This file is part of the coreboot project. */
gdtptr16_offset = gdtptr16 & 0xffff;
nullidt_offset = nullidt & 0xffff;
/* Symbol _start16bit must be aligned to 4kB to start AP CPUs with
* Startup IPI message without RAM.
*/
#if CONFIG(SIPI_VECTOR_IN_ROM)
_bogus = ASSERT((_start16bit & 0xfff) == 0, "Symbol _start16bit is not at 4 KiB boundary");
ap_sipi_vector_in_rom = (_start16bit >> 12) & 0xff;
#endif
|
