RIC_FLUSH_TLB
tlbiel_radix_set_isa300(set, is, 0, RIC_FLUSH_TLB, 0);
tlbiel_radix_set_isa300(set, is, 0, RIC_FLUSH_TLB, 1);