Lines Matching refs:ext_sa_addr
571 unsigned long ext_sa_addr; in __write_machine_check() local
599 rc = read_guest_lc(vcpu, __LC_MCESAD, &ext_sa_addr, in __write_machine_check()
602 lc = ext_sa_addr & MCESA_LC_MASK; in __write_machine_check()
607 ext_sa_addr &= ~0x3ffUL; in __write_machine_check()
610 ext_sa_addr &= ~0x7ffUL; in __write_machine_check()
613 ext_sa_addr &= ~0xfffUL; in __write_machine_check()
616 ext_sa_addr = 0; in __write_machine_check()
620 ext_sa_addr &= ~0x3ffUL; in __write_machine_check()
623 if (!rc && mci.vr && ext_sa_addr && test_kvm_facility(vcpu->kvm, 129)) { in __write_machine_check()
624 if (write_guest_abs(vcpu, ext_sa_addr, vcpu->run->s.regs.vrs, in __write_machine_check()
630 if (!rc && mci.gs && ext_sa_addr && test_kvm_facility(vcpu->kvm, 133) in __write_machine_check()
632 if (write_guest_abs(vcpu, ext_sa_addr + 1024, in __write_machine_check()