|
@@ -126,12 +126,6 @@ static int decode_hsr(struct kvm_vcpu *vcpu, bool *is_write, int *len)
|
|
int access_size;
|
|
int access_size;
|
|
bool sign_extend;
|
|
bool sign_extend;
|
|
|
|
|
|
- if (kvm_vcpu_dabt_isextabt(vcpu)) {
|
|
|
|
- /* cache operation on I/O addr, tell guest unsupported */
|
|
|
|
- kvm_inject_dabt(vcpu, kvm_vcpu_get_hfar(vcpu));
|
|
|
|
- return 1;
|
|
|
|
- }
|
|
|
|
-
|
|
|
|
if (kvm_vcpu_dabt_iss1tw(vcpu)) {
|
|
if (kvm_vcpu_dabt_iss1tw(vcpu)) {
|
|
/* page table accesses IO mem: tell guest to fix its TTBR */
|
|
/* page table accesses IO mem: tell guest to fix its TTBR */
|
|
kvm_inject_dabt(vcpu, kvm_vcpu_get_hfar(vcpu));
|
|
kvm_inject_dabt(vcpu, kvm_vcpu_get_hfar(vcpu));
|