Lines Matching +full:extra +full:- +full:byte

5 # SPDX-License-Identifier: Apache-2.0
13 which is a link of the Zephyr kernel without various build-time
22 - Memory addresses of the Main and Double Fault TSS structures
24 - Memory addresses of where the GDT lives in memory, so that this
26 - whether userspace or HW stack protection are enabled in Kconfig
30 we generate flat 32-bit code and data segments. If hardware-
32 we additionally create descriptors for the main and double-
34 double-fault handling. If userspace is enabled, we also create
55     """Display debug message if --verbose"""
72 # 6 byte pseudo descriptor, but we're going to actually use this as the
79     # ...and take back one byte for the Intel god whose Ark this is...
80     size = size - 1
110     # 32-bit protected mode
136     type_code = 0x9  # non-busy 32-bit TSS descriptor
163     parser.add_argument("-k", "--kernel", required=True,
165     parser.add_argument("-v", "--verbose", action="store_true",
166                         help="Print extra debugging information")
167     parser.add_argument("-o", "--output-gdt", required=True,
182     # NOTE: use-cases are extremely limited; we always have a basic flat
222             # Selector 0x20: double-fault TSS