Home
last modified time | relevance | path

Searched refs:X86_CR4_TSD (Results 1 – 5 of 5) sorted by relevance

/xen/xen/arch/x86/pv/
A Ddomain.c157 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()
/xen/xen/include/asm-x86/pv/
A Ddomain.h80 (X86_CR4_TSD | X86_CR4_DE | X86_CR4_FSGSBASE | X86_CR4_OSXSAVE)
/xen/xen/include/asm-x86/
A Dx86-defns.h57 #define X86_CR4_TSD 0x00000004 /* disable time stamp at ipl 3 */ macro
/xen/xen/arch/x86/hvm/
A Dhvm.c985 (p->basic.tsc ? X86_CR4_TSD : 0) | in hvm_cr4_guest_valid_bits()
/xen/xen/arch/x86/x86_emulate/
A Dx86_emulate.c6866 generate_exception_if(cr4 & X86_CR4_TSD, EXC_GP, 0); in x86_emulate()

Completed in 29 milliseconds