Searched refs:X86_CR4_DE (Results 1 – 7 of 7) sorted by relevance
44 return ((curr->arch.pv_vcpu.ctrlreg[4] & X86_CR4_DE) ? in do_get_debugreg()
292 !(v->arch.pv_vcpu.ctrlreg[4] & X86_CR4_DE) ) in check_guest_io_breakpoint()
51 #define X86_CR4_DE 0x00000008 /* enable debugging extensions */ macro
620 & ~X86_CR4_DE)
2040 if ( !(v->arch.pv_vcpu.ctrlreg[4] & X86_CR4_DE) ) in set_debugreg()
726 common_mask &= ~X86_CR4_DE; in init_pv_cr4_masks()
948 (p->basic.de ? X86_CR4_DE : 0) | in hvm_cr4_guest_valid_bits()
Completed in 21 milliseconds