KVM_BUG
KVM_BUG(current->thread.gmap_teid.as != PSW_BITS_AS_PRIMARY, vcpu->kvm,
KVM_BUG(1, vcpu->kvm, "Unexpected program interrupt 0x%x, TEID 0x%016lx",
if (KVM_BUG(rc, kvm, "Failed to reclaim PFN %llx, rc %d fw_err %d", pfn, rc, fw_err)) {
KVM_BUG(1, vcpu->kvm, "Guest always owns CR0.TS");
if (KVM_BUG(!is_external_intr(intr_info), vcpu->kvm,