|
@@ -64,7 +64,7 @@ static inline int is_pse(struct kvm_vcpu *vcpu)
|
|
|
|
|
|
static inline int is_paging(struct kvm_vcpu *vcpu)
|
|
static inline int is_paging(struct kvm_vcpu *vcpu)
|
|
{
|
|
{
|
|
- return kvm_read_cr0_bits(vcpu, X86_CR0_PG);
|
|
|
|
|
|
+ return likely(kvm_read_cr0_bits(vcpu, X86_CR0_PG));
|
|
}
|
|
}
|
|
|
|
|
|
static inline u32 bit(int bitno)
|
|
static inline u32 bit(int bitno)
|