Lines Matching refs:ext_sa_addr
565 unsigned long ext_sa_addr; in __write_machine_check() local
593 rc = read_guest_lc(vcpu, __LC_MCESAD, &ext_sa_addr, in __write_machine_check()
596 lc = ext_sa_addr & MCESA_LC_MASK; in __write_machine_check()
601 ext_sa_addr &= ~0x3ffUL; in __write_machine_check()
604 ext_sa_addr &= ~0x7ffUL; in __write_machine_check()
607 ext_sa_addr &= ~0xfffUL; in __write_machine_check()
610 ext_sa_addr = 0; in __write_machine_check()
614 ext_sa_addr &= ~0x3ffUL; in __write_machine_check()
617 if (!rc && mci.vr && ext_sa_addr && test_kvm_facility(vcpu->kvm, 129)) { in __write_machine_check()
618 if (write_guest_abs(vcpu, ext_sa_addr, vcpu->run->s.regs.vrs, in __write_machine_check()
624 if (!rc && mci.gs && ext_sa_addr && test_kvm_facility(vcpu->kvm, 133) in __write_machine_check()
626 if (write_guest_abs(vcpu, ext_sa_addr + 1024, in __write_machine_check()