Lines Matching +full:line +full:- +full:addresses

5 # SPDX-License-Identifier: Apache-2.0
13 which is a link of the Zephyr kernel without various build-time
16 these data structures will not disturb the memory addresses of
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"""
80     size = size - 1
110     # 32-bit protected mode
136     type_code = 0x9  # non-busy 32-bit TSS descriptor
157     """Parse command line arguments"""
163     parser.add_argument("-k", "--kernel", required=True,
165     parser.add_argument("-v", "--verbose", action="store_true",
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