Lines Matching refs:ctrlreg
895 if ( !compat && !(flags & VGCF_in_kernel) && !c.nat->ctrlreg[1] ) in arch_set_info_guest()
908 fail = xen_pfn_to_cr3(pfn) != c.nat->ctrlreg[3]; in arch_set_info_guest()
910 fail |= c.nat->ctrlreg[1] || !(flags & VGCF_in_kernel); in arch_set_info_guest()
914 fail |= xen_pfn_to_cr3(pfn) != c.nat->ctrlreg[1]; in arch_set_info_guest()
921 fail = compat_pfn_to_cr3(pfn) != c.cmp->ctrlreg[3]; in arch_set_info_guest()
937 for ( i = 0; i < ARRAY_SIZE(v->arch.pv_vcpu.ctrlreg); ++i ) in arch_set_info_guest()
938 v->arch.pv_vcpu.ctrlreg[i] = c(ctrlreg[i]); in arch_set_info_guest()
956 v->arch.pv_vcpu.ctrlreg[0] &= X86_CR0_TS; in arch_set_info_guest()
957 v->arch.pv_vcpu.ctrlreg[0] |= read_cr0() & ~X86_CR0_TS; in arch_set_info_guest()
959 cr4 = v->arch.pv_vcpu.ctrlreg[4]; in arch_set_info_guest()
960 v->arch.pv_vcpu.ctrlreg[4] = cr4 ? pv_guest_cr4_fixup(v, cr4) : in arch_set_info_guest()
1037 cr3_gfn = xen_cr3_to_pfn(c.nat->ctrlreg[3]); in arch_set_info_guest()
1039 cr3_gfn = compat_cr3_to_pfn(c.cmp->ctrlreg[3]); in arch_set_info_guest()
1081 if ( c.nat->ctrlreg[1] ) in arch_set_info_guest()
1083 cr3_gfn = xen_cr3_to_pfn(c.nat->ctrlreg[1]); in arch_set_info_guest()