do_tlbies
do_tlbies(kvm, &rb, 1, 1, true);
do_tlbies(kvm, &rb, 1, 1, false);
do_tlbies(kvm, &rb, 1, global_invalidates(kvm), true);
do_tlbies(kvm, tlbrb, n, global, true);
do_tlbies(kvm, &rb, 1, global_invalidates(kvm), true);