TEXASR_EXACT
vcpu->arch.texasr = (TEXASR_FS | TEXASR_EXACT |
texasr = (failure_cause << 56) | TEXASR_ABORT | TEXASR_FS | TEXASR_EXACT;