Searched refs:ext_sa_addr (Results 1 – 1 of 1) sorted by relevance
525 unsigned long ext_sa_addr; in __write_machine_check() local 553 rc = read_guest_lc(vcpu, __LC_MCESAD, &ext_sa_addr, in __write_machine_check() 556 lc = ext_sa_addr & MCESA_LC_MASK; in __write_machine_check() 561 ext_sa_addr &= ~0x3ffUL; in __write_machine_check() 564 ext_sa_addr &= ~0x7ffUL; in __write_machine_check() 567 ext_sa_addr &= ~0xfffUL; in __write_machine_check() 570 ext_sa_addr = 0; in __write_machine_check() 574 ext_sa_addr &= ~0x3ffUL; in __write_machine_check() 577 if (!rc && mci.vr && ext_sa_addr && test_kvm_facility(vcpu->kvm, 129)) { in __write_machine_check() 578 if (write_guest_abs(vcpu, ext_sa_addr, vcp in __write_machine_check() [all...]