x86_64_tss
sizeof (struct x86_64_tss)-1, SDT_SYS386TSS, SEL_KPL, 0);
cpu_info_primary.ci_tss, sizeof (struct x86_64_tss)-1,
struct x86_64_tss;
struct x86_64_tss *ci_tss; /* [o] */
struct x86_64_tss uu_tss;
CTASSERT(_ALIGN(sizeof(struct x86_64_tss)) +