tlbie
void (*tlbie)(struct kvm_vcpu *vcpu, ulong addr, bool large);
0: tlbie r4; \
TRACE_EVENT(tlbie,
mmu->tlbie = kvmppc_mmu_book3s_32_tlbie;
mmu->tlbie = kvmppc_mmu_book3s_64_tlbie;
vcpu->arch.mmu.tlbie(vcpu, addr, large);
vcpu->arch.mmu.tlbie(vcpu, rb, rb & 1 ? true : false);
vcpu->arch.mmu.tlbie(vcpu, rb, rb & 1 ? true : false);
vcpu->arch.mmu.tlbie(vcpu, rb, rb & 1 ? true : false);
tlbie(vpn, bpsize, apsize, ssize, local);
tlbie(vpn, psize, psize, ssize, 0);
tlbie(vpn, psize, psize, ssize, 0);
tlbie(vpn, bpsize, apsize, ssize, local);
tlbie(vpn, psize, actual_psize, ssize, local);
0: tlbie r4; \