Symbol: serror_is_masked
arch/arm64/kvm/inject_fault.c
360
return serror_is_masked(vcpu);
arch/arm64/kvm/inject_fault.c
390
if (!serror_is_masked(vcpu)) {