Lines Matching +full:write +full:- +full:protected

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"""
57         sys.stdout.write(os.path.basename(sys.argv[0]) + ": " + text + "\n")
70 ACCESS_RW = 1 << 1  # read or write permission
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",
167     parser.add_argument("-o", "--output-gdt", required=True,
182     # NOTE: use-cases are extremely limited; we always have a basic flat
205         output_fp.write(create_gdt_pseudo_desc(gdt_base, num_entries * 8))
208         output_fp.write(create_code_data_entry(0, 0xFFFFF, 0,
212         output_fp.write(create_code_data_entry(0, 0xFFFFF, 0,
220             output_fp.write(create_tss_entry(main_tss, 0x67, 0))
222             # Selector 0x20: double-fault TSS
223             output_fp.write(create_tss_entry(df_tss, 0x67, 0))
227             output_fp.write(create_code_data_entry(0, 0xFFFFF, 3,
231             output_fp.write(create_code_data_entry(0, 0xFFFFF, 3,
240             output_fp.write(create_code_data_entry(0, 0xFFFFF, 3,