kvm_vcpu_dabt_get_as
if (kvm_vcpu_dabt_get_as(vcpu) != sizeof(u32)) {
len = kvm_vcpu_dabt_get_as(vcpu);