Lines Matching refs:segctl
693 unsigned long segctl;
703 segctl = read_gc0_segctl2() >> 16;
708 segctl = read_gc0_segctl2();
712 segctl = read_gc0_segctl1() >> 16;
716 segctl = read_gc0_segctl1();
720 segctl = read_gc0_segctl0() >> 16;
724 segctl = read_gc0_segctl0();
730 * segctl and mask are always initialised.
735 if (is_eva_am_mapped(vcpu, (segctl >> 4) & 0x7,
736 segctl & 0x0008))
740 pa = (segctl << 20) & mask;
757 segctl = read_gc0_segctl2();
758 if (segctl & (1ull << (56 + ((gva >> 59) & 0x7)))) {
759 segctl = read_gc0_segctl1();
760 if (is_eva_am_mapped(vcpu, (segctl >> 59) & 0x7,