Searched refs:SDT_SYSTSS (Results 1 – 6 of 6) sorted by relevance
191 tss_desc->sd_type = SDT_SYSTSS; in efi_setup_tss()293 if (tss_desc->sd_type != SDT_SYSTSS && in efi_redirect_exceptions()301 tss_desc->sd_type = SDT_SYSTSS; /* unbusy */ in efi_redirect_exceptions()
154 #define SDT_SYSTSS 9 /* system available 64 bit TSS */ macro
155 #define SDT_SYSTSS 9 /* system available 64 bit TSS */ macro
253 sizeof (*cp->cpu_tss) - 1, SDT_SYSTSS, SEL_KPL); in mach_cpucontext_alloc_tables()
455 #define SDT_SYSTSS 9 /* system TSS available */ macro
531 sizeof (*ktss0) - 1, SDT_SYSTSS, SEL_KPL); in init_gdt_common()