Searched refs:sd_xx1 (Results 1 – 3 of 3) sorted by relevance
62 u_int64_t sd_xx1:8; member
174 loader_idt_e->sd_xx1 = 0; in prepare_exception()232 tss_desc->sd_xx1 = 0; in efi_setup_tss()
131 uint64_t sd_xx1:32; member