Lines Matching defs:segctl
695 unsigned long segctl;
705 segctl = read_gc0_segctl2() >> 16;
710 segctl = read_gc0_segctl2();
714 segctl = read_gc0_segctl1() >> 16;
718 segctl = read_gc0_segctl1();
722 segctl = read_gc0_segctl0() >> 16;
726 segctl = read_gc0_segctl0();
732 * segctl and mask are always initialised.
737 if (is_eva_am_mapped(vcpu, (segctl >> 4) & 0x7,
738 segctl & 0x0008))
742 pa = (segctl << 20) & mask;
759 segctl = read_gc0_segctl2();
760 if (segctl & (1ull << (56 + ((gva >> 59) & 0x7)))) {
761 segctl = read_gc0_segctl1();
762 if (is_eva_am_mapped(vcpu, (segctl >> 59) & 0x7,