Searched refs:X86_CR4_TSD (Results 1 – 5 of 5) sorted by relevance
50 #define X86_CR4_TSD 0x00000004 /* disable time stamp at ipl 3 */ macro
619 | ((v)->domain->arch.vtsc ? X86_CR4_TSD : 0)) \622 ((c) & ~(X86_CR4_PGE | X86_CR4_PSE | X86_CR4_TSD | \
720 unsigned long common_mask = ~X86_CR4_TSD; in init_pv_cr4_masks()
947 (p->basic.tsc ? X86_CR4_TSD : 0) | in hvm_cr4_guest_valid_bits()
5743 generate_exception_if(cr4 & X86_CR4_TSD, EXC_GP, 0); in x86_emulate()
Completed in 25 milliseconds