Searched refs:sd_mbz (Results 1 – 2 of 2) sorted by relevance
59 u_int64_t sd_mbz:5; /* MUST be zero */ member
199 tss_desc->sd_mbz = 0; in efi_setup_tss()249 if (gdt_desc->sd_type == 0 && gdt_desc->sd_mbz == 0) { in efi_redirect_exceptions()