Lines Matching refs:TSSDescLow
322 TSSlow TSSDescLow = 0;
323 TSSDescLow.type = 0xB;
324 TSSDescLow.dpl = 0; // Privelege level 0
325 TSSDescLow.p = 1; // Present
326 TSSDescLow.limit = 0xFFFFFFFF;
327 TSSDescLow.base = bits(TSSVirtAddr, 31, 0);
335 } tssDescVal = {TSSDescLow, TSSDescHigh};
345 uint64_t tss_base_addr = (TSSDescHigh.base << 32) | TSSDescLow.base;
346 uint64_t tss_limit = TSSDescLow.limit;
350 tss_attr.type = TSSDescLow.type;
351 tss_attr.dpl = TSSDescLow.dpl;
352 tss_attr.present = TSSDescLow.p;
353 tss_attr.granularity = TSSDescLow.g;