Searched refs:X86_CR4_TSD (Results 1 – 5 of 5) sorted by relevance
157 cr4 &= ~((p->basic.tsc ? 0 : X86_CR4_TSD) | in pv_fixup_guest_cr4()191 ~(X86_CR4_PCIDE | X86_CR4_PGE | X86_CR4_TSD); in pv_make_cr4()206 if ( d->arch.vtsc || (v->arch.pv.ctrlreg[4] & X86_CR4_TSD) ) in pv_make_cr4()207 cr4 |= X86_CR4_TSD; in pv_make_cr4()
80 (X86_CR4_TSD | X86_CR4_DE | X86_CR4_FSGSBASE | X86_CR4_OSXSAVE)
57 #define X86_CR4_TSD 0x00000004 /* disable time stamp at ipl 3 */ macro
985 (p->basic.tsc ? X86_CR4_TSD : 0) | in hvm_cr4_guest_valid_bits()
6866 generate_exception_if(cr4 & X86_CR4_TSD, EXC_GP, 0); in x86_emulate()
Completed in 29 milliseconds