|
@@ -360,8 +360,8 @@ struct kvm_vcpu *kvm_arch_vcpu_create(struct kvm *kvm, unsigned int id)
|
|
|
dump_handler("kvm_exit", gebase + 0x2000, vcpu->arch.vcpu_run);
|
|
|
|
|
|
/* Invalidate the icache for these ranges */
|
|
|
- local_flush_icache_range((unsigned long)gebase,
|
|
|
- (unsigned long)gebase + ALIGN(size, PAGE_SIZE));
|
|
|
+ flush_icache_range((unsigned long)gebase,
|
|
|
+ (unsigned long)gebase + ALIGN(size, PAGE_SIZE));
|
|
|
|
|
|
/*
|
|
|
* Allocate comm page for guest kernel, a TLB will be reserved for
|