HCR_VSE
bool irq_lines = *vcpu_hcr(v) & (HCR_VI | HCR_VF | HCR_VSE);
events->exception.serror_pending = (vcpu->arch.hcr_el2 & HCR_VSE) ||
if (cpus_have_final_cap(ARM64_HAS_RAS_EXTN) && (hcr & HCR_VSE)) {
if (*hcr & HCR_VSE) {
*hcr &= ~HCR_VSE;
*hcr |= read_sysreg(hcr_el2) & HCR_VSE;
*vcpu_hcr(vcpu) |= HCR_VSE;
if (unlikely(__test_and_clear_bit(__ffs(HCR_VSE), hcr)))